solid OpenSCAD_Model
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -9.945219 -1.045285 0.000000
      vertex -9.945219 -1.045285 7.000000
      vertex -9.945219 1.045285 0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -9.945219 1.045285 0.000000
      vertex -9.945219 -1.045285 7.000000
      vertex -9.945219 1.045285 7.000000
    endloop
  endfacet
  facet normal -0.978148 -0.207912 -0.000000
    outer loop
      vertex -9.945219 -1.045285 0.000000
      vertex -9.510565 -3.090170 0.000000
      vertex -9.945219 -1.045285 7.000000
    endloop
  endfacet
  facet normal -0.978148 -0.207912 0.000000
    outer loop
      vertex -9.945219 -1.045285 7.000000
      vertex -9.510565 -3.090170 0.000000
      vertex -9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal -0.000000 -0.000000 -1.000000
    outer loop
      vertex -9.945219 -1.045285 0.000000
      vertex -9.945219 1.045285 0.000000
      vertex -9.510565 -3.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -9.945219 1.045285 0.000000
      vertex -9.510565 3.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -9.510565 3.090170 0.000000
      vertex -8.660254 5.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -8.660254 5.000000 0.000000
      vertex -7.431448 6.691306 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -7.431448 6.691306 0.000000
      vertex -5.877853 8.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -5.877853 8.090170 0.000000
      vertex -4.067366 9.135455 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.779165 0.473909 0.000000
      vertex -4.067366 9.135455 0.000000
      vertex -2.079117 9.781476 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex 0.000000 10.000000 0.000000
      vertex 2.079117 9.781476 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.779165 0.473909 0.000000
      vertex 0.000000 10.000000 0.000000
      vertex -5.181089 1.973909 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -0.287453 2.734935 0.000000
      vertex 5.877853 8.090170 0.000000
      vertex 7.431448 6.691306 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 0.849797 2.615405 0.000000
      vertex 7.431448 6.691306 0.000000
      vertex 8.660254 5.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 2.512250 1.118526 0.000000
      vertex 8.660254 5.000000 0.000000
      vertex 9.510565 3.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 2.750000 0.000000 0.000000
      vertex 9.510565 3.090170 0.000000
      vertex 9.945219 1.045285 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 2.512250 -1.118526 0.000000
      vertex 9.945219 1.045285 0.000000
      vertex 9.945219 -1.045285 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 1.840109 -2.043648 0.000000
      vertex 9.945219 -1.045285 0.000000
      vertex 9.510565 -3.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -0.881089 -5.473909 0.000000
      vertex 7.431448 -6.691306 0.000000
      vertex 5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -3.479165 -6.973909 0.000000
      vertex 2.079117 -9.781476 0.000000
      vertex 0.000000 -10.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex 0.000000 -10.000000 0.000000
      vertex -2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -2.079117 -9.781476 0.000000
      vertex -4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -4.067366 -9.135455 0.000000
      vertex -5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -5.877853 -8.090170 0.000000
      vertex -7.431448 -6.691306 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -7.431448 -6.691306 0.000000
      vertex -8.660254 -5.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -0.881089 -5.473909 0.000000
      vertex 5.877853 -8.090170 0.000000
      vertex 4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.779165 0.473909 0.000000
      vertex -2.079117 9.781476 0.000000
      vertex 0.000000 10.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -4.067366 9.135455 0.000000
      vertex -7.779165 0.473909 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -3.479165 -6.973909 0.000000
      vertex -9.510565 -3.090170 0.000000
      vertex -7.779165 0.473909 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -0.881089 -5.473909 0.000000
      vertex 2.079117 -9.781476 0.000000
      vertex -3.479165 -6.973909 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -3.479165 -6.973909 0.000000
      vertex 0.000000 -10.000000 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex -0.287453 -2.734935 0.000000
      vertex 0.849797 -2.615405 0.000000
      vertex 9.510565 -3.090170 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 2.512250 -1.118526 0.000000
      vertex 9.945219 -1.045285 0.000000
      vertex 1.840109 -2.043648 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 2.750000 0.000000 0.000000
      vertex 9.945219 1.045285 0.000000
      vertex 2.512250 -1.118526 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 1.840109 2.043648 0.000000
      vertex 8.660254 5.000000 0.000000
      vertex 2.512250 1.118526 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex -0.287453 2.734935 0.000000
      vertex 7.431448 6.691306 0.000000
      vertex 0.849797 2.615405 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -1.375000 2.381570 0.000000
      vertex 5.877853 8.090170 0.000000
      vertex -0.287453 2.734935 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -0.881089 -5.473909 0.000000
      vertex 4.067366 -9.135455 0.000000
      vertex 2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 1.840109 -2.043648 0.000000
      vertex 9.510565 -3.090170 0.000000
      vertex 0.849797 -2.615405 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex 2.079117 9.781476 0.000000
      vertex 4.067366 9.135455 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex 4.067366 9.135455 0.000000
      vertex 5.877853 8.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex 5.877853 8.090170 0.000000
      vertex -1.375000 2.381570 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex -1.375000 2.381570 0.000000
      vertex -2.224797 1.616409 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex -2.224797 1.616409 0.000000
      vertex -2.689906 0.571757 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 0.849797 2.615405 0.000000
      vertex 8.660254 5.000000 0.000000
      vertex 1.840109 2.043648 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex -2.689906 0.571757 0.000000
      vertex -2.689906 -0.571757 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 2.512250 1.118526 0.000000
      vertex 9.510565 3.090170 0.000000
      vertex 2.750000 0.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex -2.689906 -0.571757 0.000000
      vertex -2.224797 -1.616409 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -0.287453 -2.734935 0.000000
      vertex 9.510565 -3.090170 0.000000
      vertex 8.660254 -5.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -0.287453 -2.734935 0.000000
      vertex 8.660254 -5.000000 0.000000
      vertex 7.431448 -6.691306 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -1.375000 -2.381570 0.000000
      vertex -0.287453 -2.734935 0.000000
      vertex 7.431448 -6.691306 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -1.375000 -2.381570 0.000000
      vertex 7.431448 -6.691306 0.000000
      vertex -0.881089 -5.473909 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -2.224797 -1.616409 0.000000
      vertex -1.375000 -2.381570 0.000000
      vertex -0.881089 -5.473909 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex -2.224797 -1.616409 0.000000
      vertex -0.881089 -5.473909 0.000000
    endloop
  endfacet
  facet normal -0.978148 0.207912 0.000000
    outer loop
      vertex -9.945219 1.045285 0.000000
      vertex -9.945219 1.045285 7.000000
      vertex -9.510565 3.090170 0.000000
    endloop
  endfacet
  facet normal -0.978148 0.207912 0.000000
    outer loop
      vertex -9.510565 3.090170 0.000000
      vertex -9.945219 1.045285 7.000000
      vertex -9.510565 3.090170 7.000000
    endloop
  endfacet
  facet normal -0.972781 0.206771 0.104611
    outer loop
      vertex -9.510565 3.090170 7.000000
      vertex -9.945219 1.045285 7.000000
      vertex -9.489642 3.083372 7.208000
    endloop
  endfacet
  facet normal -0.972780 0.206771 0.104615
    outer loop
      vertex -9.489642 3.083372 7.208000
      vertex -9.945219 1.045285 7.000000
      vertex -9.923339 1.042985 7.208000
    endloop
  endfacet
  facet normal -0.994513 0.000000 0.104615
    outer loop
      vertex -9.945219 -1.045285 7.000000
      vertex -9.923339 -1.042985 7.208000
      vertex -9.945219 1.045285 7.000000
    endloop
  endfacet
  facet normal -0.994513 0.000000 0.104615
    outer loop
      vertex -9.945219 1.045285 7.000000
      vertex -9.923339 -1.042985 7.208000
      vertex -9.923339 1.042985 7.208000
    endloop
  endfacet
  facet normal -0.972780 -0.206771 0.104615
    outer loop
      vertex -9.923339 -1.042985 7.208000
      vertex -9.945219 -1.045285 7.000000
      vertex -9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal -0.972781 -0.206771 0.104611
    outer loop
      vertex -9.489642 -3.083372 7.208000
      vertex -9.923339 -1.042985 7.208000
      vertex -9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal -0.908533 -0.404505 0.104611
    outer loop
      vertex -9.489642 -3.083372 7.208000
      vertex -9.510565 -3.090170 7.000000
      vertex -8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 -0.000000
    outer loop
      vertex -9.048782 -4.127351 5.645448
      vertex -9.510565 -3.090170 7.000000
      vertex -9.437310 -3.254703 4.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -8.660254 -5.000000 0.000000
      vertex -9.048782 -4.127351 2.354552
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -9.048782 -4.127351 2.354552
      vertex -9.437310 -3.254703 4.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 -0.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -9.437310 -3.254703 4.000000
      vertex -9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 -0.000000
    outer loop
      vertex -9.510565 -3.090170 7.000000
      vertex -9.048782 -4.127351 5.645448
      vertex -8.660254 -5.000000 5.645448
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -9.510565 -3.090170 7.000000
      vertex -8.660254 -5.000000 5.645448
      vertex -8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -9.048782 -4.127351 2.354552
      vertex -8.660254 -5.000000 0.000000
      vertex -8.660254 -5.000000 2.354552
    endloop
  endfacet
  facet normal -0.809017 -0.587785 -0.000000
    outer loop
      vertex -8.660254 -5.000000 0.000000
      vertex -7.431448 -6.691306 0.000000
      vertex -8.660254 -5.000000 2.354552
    endloop
  endfacet
  facet normal -0.809017 -0.587785 0.000000
    outer loop
      vertex -7.537310 -6.545599 4.000000
      vertex -7.431448 -6.691306 0.000000
      vertex -7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal -0.809017 -0.587785 -0.000000
    outer loop
      vertex -8.660254 -5.000000 5.645448
      vertex -7.431448 -6.691306 7.000000
      vertex -8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal -0.809017 -0.587785 -0.000000
    outer loop
      vertex -8.098782 -5.772800 5.645448
      vertex -7.431448 -6.691306 7.000000
      vertex -8.660254 -5.000000 5.645448
    endloop
  endfacet
  facet normal -0.809017 -0.587785 0.000000
    outer loop
      vertex -8.098782 -5.772800 2.354552
      vertex -7.431448 -6.691306 0.000000
      vertex -7.537310 -6.545599 4.000000
    endloop
  endfacet
  facet normal -0.809017 -0.587785 0.000000
    outer loop
      vertex -8.660254 -5.000000 2.354552
      vertex -7.431448 -6.691306 0.000000
      vertex -8.098782 -5.772800 2.354552
    endloop
  endfacet
  facet normal -0.809017 -0.587785 -0.000000
    outer loop
      vertex -7.537310 -6.545599 4.000000
      vertex -7.431448 -6.691306 7.000000
      vertex -8.098782 -5.772800 5.645448
    endloop
  endfacet
  facet normal -0.669131 -0.743145 0.000000
    outer loop
      vertex -7.431448 -6.691306 7.000000
      vertex -7.431448 -6.691306 0.000000
      vertex -5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal -0.669131 -0.743145 0.000000
    outer loop
      vertex -5.877853 -8.090170 7.000000
      vertex -7.431448 -6.691306 7.000000
      vertex -5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal -0.500000 -0.866025 0.000000
    outer loop
      vertex -5.877853 -8.090170 7.000000
      vertex -5.877853 -8.090170 0.000000
      vertex -4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal -0.500000 -0.866025 0.000000
    outer loop
      vertex -4.067366 -9.135455 7.000000
      vertex -5.877853 -8.090170 7.000000
      vertex -4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal -0.309017 -0.951057 0.000000
    outer loop
      vertex -4.067366 -9.135455 7.000000
      vertex -4.067366 -9.135455 0.000000
      vertex -2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal -0.309017 -0.951057 0.000000
    outer loop
      vertex -2.079117 -9.781476 7.000000
      vertex -4.067366 -9.135455 7.000000
      vertex -2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal -0.104528 -0.994522 0.000000
    outer loop
      vertex -2.079117 -9.781476 7.000000
      vertex -2.079117 -9.781476 0.000000
      vertex 0.000000 -10.000000 0.000000
    endloop
  endfacet
  facet normal -0.104528 -0.994522 0.000000
    outer loop
      vertex 0.000000 -10.000000 7.000000
      vertex -2.079117 -9.781476 7.000000
      vertex 0.000000 -10.000000 0.000000
    endloop
  endfacet
  facet normal 0.104528 -0.994522 0.000000
    outer loop
      vertex 0.000000 -10.000000 7.000000
      vertex 0.000000 -10.000000 0.000000
      vertex 2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal 0.104528 -0.994522 0.000000
    outer loop
      vertex 2.079117 -9.781476 7.000000
      vertex 0.000000 -10.000000 7.000000
      vertex 2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal 0.309017 -0.951057 0.000000
    outer loop
      vertex 2.079117 -9.781476 7.000000
      vertex 2.079117 -9.781476 0.000000
      vertex 4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal 0.309017 -0.951057 0.000000
    outer loop
      vertex 4.067366 -9.135455 7.000000
      vertex 2.079117 -9.781476 7.000000
      vertex 4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex 4.067366 -9.135455 7.000000
      vertex 4.067366 -9.135455 0.000000
      vertex 5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex 5.877853 -8.090170 7.000000
      vertex 4.067366 -9.135455 7.000000
      vertex 5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal 0.669131 -0.743145 0.000000
    outer loop
      vertex 5.877853 -8.090170 7.000000
      vertex 5.877853 -8.090170 0.000000
      vertex 7.431448 -6.691306 0.000000
    endloop
  endfacet
  facet normal 0.669131 -0.743145 0.000000
    outer loop
      vertex 7.431448 -6.691306 7.000000
      vertex 5.877853 -8.090170 7.000000
      vertex 7.431448 -6.691306 0.000000
    endloop
  endfacet
  facet normal 0.809017 -0.587785 0.000000
    outer loop
      vertex 7.431448 -6.691306 7.000000
      vertex 7.431448 -6.691306 0.000000
      vertex 8.660254 -5.000000 0.000000
    endloop
  endfacet
  facet normal 0.809017 -0.587785 0.000000
    outer loop
      vertex 8.660254 -5.000000 7.000000
      vertex 7.431448 -6.691306 7.000000
      vertex 8.660254 -5.000000 0.000000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex 8.660254 -5.000000 7.000000
      vertex 8.660254 -5.000000 0.000000
      vertex 9.510565 -3.090170 0.000000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex 9.510565 -3.090170 7.000000
      vertex 8.660254 -5.000000 7.000000
      vertex 9.510565 -3.090170 0.000000
    endloop
  endfacet
  facet normal 0.978148 -0.207912 0.000000
    outer loop
      vertex 9.510565 -3.090170 7.000000
      vertex 9.510565 -3.090170 0.000000
      vertex 9.945219 -1.045285 0.000000
    endloop
  endfacet
  facet normal 0.978148 -0.207912 0.000000
    outer loop
      vertex 9.945219 -1.045285 7.000000
      vertex 9.510565 -3.090170 7.000000
      vertex 9.945219 -1.045285 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 -0.000000
    outer loop
      vertex 9.945219 -1.045285 7.000000
      vertex 9.945219 -1.045285 0.000000
      vertex 9.945219 1.045285 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 9.945219 1.045285 7.000000
      vertex 9.945219 -1.045285 7.000000
      vertex 9.945219 1.045285 0.000000
    endloop
  endfacet
  facet normal 0.978148 0.207912 0.000000
    outer loop
      vertex 9.945219 1.045285 0.000000
      vertex 9.510565 3.090170 0.000000
      vertex 9.510565 3.090170 7.000000
    endloop
  endfacet
  facet normal 0.978148 0.207912 -0.000000
    outer loop
      vertex 9.945219 1.045285 7.000000
      vertex 9.945219 1.045285 0.000000
      vertex 9.510565 3.090170 7.000000
    endloop
  endfacet
  facet normal 0.913545 0.406737 0.000000
    outer loop
      vertex 9.510565 3.090170 0.000000
      vertex 8.660254 5.000000 0.000000
      vertex 8.660254 5.000000 7.000000
    endloop
  endfacet
  facet normal 0.913545 0.406737 -0.000000
    outer loop
      vertex 9.510565 3.090170 7.000000
      vertex 9.510565 3.090170 0.000000
      vertex 8.660254 5.000000 7.000000
    endloop
  endfacet
  facet normal 0.809017 0.587785 0.000000
    outer loop
      vertex 8.660254 5.000000 0.000000
      vertex 7.431448 6.691306 0.000000
      vertex 7.431448 6.691306 7.000000
    endloop
  endfacet
  facet normal 0.809017 0.587785 -0.000000
    outer loop
      vertex 8.660254 5.000000 7.000000
      vertex 8.660254 5.000000 0.000000
      vertex 7.431448 6.691306 7.000000
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex 5.877853 8.090170 0.000000
      vertex 5.877853 8.090170 7.000000
      vertex 7.431448 6.691306 0.000000
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex 7.431448 6.691306 0.000000
      vertex 5.877853 8.090170 7.000000
      vertex 7.431448 6.691306 7.000000
    endloop
  endfacet
  facet normal 0.500000 0.866025 0.000000
    outer loop
      vertex 4.067366 9.135455 0.000000
      vertex 4.067366 9.135455 7.000000
      vertex 5.877853 8.090170 0.000000
    endloop
  endfacet
  facet normal 0.500000 0.866025 0.000000
    outer loop
      vertex 5.877853 8.090170 0.000000
      vertex 4.067366 9.135455 7.000000
      vertex 5.877853 8.090170 7.000000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex 2.079117 9.781476 0.000000
      vertex 2.079117 9.781476 7.000000
      vertex 4.067366 9.135455 0.000000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex 4.067366 9.135455 0.000000
      vertex 2.079117 9.781476 7.000000
      vertex 4.067366 9.135455 7.000000
    endloop
  endfacet
  facet normal 0.104528 0.994522 0.000000
    outer loop
      vertex 0.000000 10.000000 0.000000
      vertex 0.000000 10.000000 7.000000
      vertex 2.079117 9.781476 0.000000
    endloop
  endfacet
  facet normal 0.104528 0.994522 0.000000
    outer loop
      vertex 2.079117 9.781476 0.000000
      vertex 0.000000 10.000000 7.000000
      vertex 2.079117 9.781476 7.000000
    endloop
  endfacet
  facet normal -0.104528 0.994522 0.000000
    outer loop
      vertex -2.079117 9.781476 0.000000
      vertex -2.079117 9.781476 7.000000
      vertex 0.000000 10.000000 0.000000
    endloop
  endfacet
  facet normal -0.104528 0.994522 0.000000
    outer loop
      vertex 0.000000 10.000000 0.000000
      vertex -2.079117 9.781476 7.000000
      vertex 0.000000 10.000000 7.000000
    endloop
  endfacet
  facet normal -0.309017 0.951057 0.000000
    outer loop
      vertex -4.067366 9.135455 0.000000
      vertex -4.067366 9.135455 7.000000
      vertex -2.079117 9.781476 0.000000
    endloop
  endfacet
  facet normal -0.309017 0.951057 0.000000
    outer loop
      vertex -2.079117 9.781476 0.000000
      vertex -4.067366 9.135455 7.000000
      vertex -2.079117 9.781476 7.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -5.877853 8.090170 0.000000
      vertex -5.877853 8.090170 7.000000
      vertex -4.067366 9.135455 0.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -4.067366 9.135455 0.000000
      vertex -5.877853 8.090170 7.000000
      vertex -4.067366 9.135455 7.000000
    endloop
  endfacet
  facet normal -0.669131 0.743145 0.000000
    outer loop
      vertex -7.431448 6.691306 0.000000
      vertex -7.431448 6.691306 7.000000
      vertex -5.877853 8.090170 0.000000
    endloop
  endfacet
  facet normal -0.669131 0.743145 0.000000
    outer loop
      vertex -5.877853 8.090170 0.000000
      vertex -7.431448 6.691306 7.000000
      vertex -5.877853 8.090170 7.000000
    endloop
  endfacet
  facet normal -0.809017 0.587785 0.000000
    outer loop
      vertex -8.660254 5.000000 0.000000
      vertex -8.660254 5.000000 7.000000
      vertex -7.431448 6.691306 0.000000
    endloop
  endfacet
  facet normal -0.809017 0.587785 0.000000
    outer loop
      vertex -7.431448 6.691306 0.000000
      vertex -8.660254 5.000000 7.000000
      vertex -7.431448 6.691306 7.000000
    endloop
  endfacet
  facet normal -0.913545 0.406737 0.000000
    outer loop
      vertex -9.510565 3.090170 0.000000
      vertex -9.510565 3.090170 7.000000
      vertex -8.660254 5.000000 0.000000
    endloop
  endfacet
  facet normal -0.913545 0.406737 0.000000
    outer loop
      vertex -8.660254 5.000000 0.000000
      vertex -9.510565 3.090170 7.000000
      vertex -8.660254 5.000000 7.000000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex -7.779165 0.473909 0.000000
      vertex -5.181089 1.973909 0.000000
      vertex -5.181089 1.973909 4.500000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex -7.779165 0.473909 4.500000
      vertex -7.779165 0.473909 0.000000
      vertex -5.181089 1.973909 4.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -3.506089 -0.927276 2.354552
      vertex -5.181089 1.973909 0.000000
      vertex -2.556089 -2.572724 2.354552
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -2.081089 -3.395448 4.000000
      vertex -0.881089 -5.473909 4.500000
      vertex -2.225427 -3.145448 4.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -0.881089 -5.473909 0.000000
      vertex -0.881089 -5.473909 4.500000
      vertex -2.556089 -2.572724 2.354552
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -0.881089 -5.473909 0.000000
      vertex -2.556089 -2.572724 2.354552
      vertex -5.181089 1.973909 0.000000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -3.981089 -0.104552 4.000000
      vertex -5.181089 1.973909 0.000000
      vertex -3.506089 -0.927276 2.354552
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex -3.981089 -0.104552 4.000000
      vertex -3.836751 -0.354552 4.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -5.181089 1.973909 0.000000
      vertex -3.836751 -0.354552 4.500000
      vertex -5.181089 1.973909 4.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -2.556089 -2.572724 2.354552
      vertex -0.881089 -5.473909 4.500000
      vertex -2.081089 -3.395448 4.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 -0.000000
    outer loop
      vertex -0.881089 -5.473909 0.000000
      vertex -3.479165 -6.973909 0.000000
      vertex -0.881089 -5.473909 4.500000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -0.881089 -5.473909 4.500000
      vertex -3.479165 -6.973909 0.000000
      vertex -3.479165 -6.973909 4.500000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -7.779165 0.473909 0.000000
      vertex -6.579165 -1.604552 4.000000
      vertex -6.104165 -2.427276 2.354552
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -4.679165 -4.895448 4.000000
      vertex -3.479165 -6.973909 4.500000
      vertex -5.154165 -4.072724 2.354552
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -5.154165 -4.072724 2.354552
      vertex -3.479165 -6.973909 0.000000
      vertex -6.104165 -2.427276 2.354552
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -6.434828 -1.854552 4.500000
      vertex -6.579165 -1.604552 4.000000
      vertex -7.779165 0.473909 0.000000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -4.823503 -4.645448 4.500000
      vertex -3.479165 -6.973909 4.500000
      vertex -4.679165 -4.895448 4.000000
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -3.479165 -6.973909 4.500000
      vertex -3.479165 -6.973909 0.000000
      vertex -5.154165 -4.072724 2.354552
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -3.479165 -6.973909 0.000000
      vertex -7.779165 0.473909 0.000000
      vertex -6.104165 -2.427276 2.354552
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -7.779165 0.473909 0.000000
      vertex -7.779165 0.473909 4.500000
      vertex -6.434828 -1.854552 4.500000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex -2.224797 1.616409 0.000000
      vertex -2.224797 1.616409 20.000000
      vertex -2.689906 0.571757 20.000000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex -2.648463 0.664840 4.000000
      vertex -2.224797 1.616409 0.000000
      vertex -2.689906 0.571757 20.000000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex -2.689906 0.571757 4.103734
      vertex -2.648463 0.664840 4.000000
      vertex -2.689906 0.571757 20.000000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex -2.689906 0.571757 0.000000
      vertex -2.224797 1.616409 0.000000
      vertex -2.689906 0.571757 3.896266
    endloop
  endfacet
  facet normal 0.913545 -0.406737 -0.000000
    outer loop
      vertex -2.648463 0.664840 4.000000
      vertex -2.689906 0.571757 3.896266
      vertex -2.224797 1.616409 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -2.689906 0.571757 0.000000
      vertex -2.689906 0.571757 3.896266
      vertex -2.689906 -0.456052 2.354552
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -2.689906 -0.571757 2.354552
      vertex -2.689906 0.571757 0.000000
      vertex -2.689906 -0.456052 2.354552
    endloop
  endfacet
  facet normal 1.000000 0.000000 -0.000000
    outer loop
      vertex -2.689906 -0.571757 2.354552
      vertex -2.689906 -0.571757 0.000000
      vertex -2.689906 0.571757 0.000000
    endloop
  endfacet
  facet normal 0.669131 -0.743145 0.000000
    outer loop
      vertex -1.375000 2.381570 0.000000
      vertex -1.375000 2.381570 20.000000
      vertex -2.224797 1.616409 20.000000
    endloop
  endfacet
  facet normal 0.669131 -0.743145 0.000000
    outer loop
      vertex -2.224797 1.616409 0.000000
      vertex -1.375000 2.381570 0.000000
      vertex -2.224797 1.616409 20.000000
    endloop
  endfacet
  facet normal 0.309017 -0.951057 0.000000
    outer loop
      vertex -0.287453 2.734935 0.000000
      vertex -0.287453 2.734935 20.000000
      vertex -1.375000 2.381570 20.000000
    endloop
  endfacet
  facet normal 0.309017 -0.951057 0.000000
    outer loop
      vertex -1.375000 2.381570 0.000000
      vertex -0.287453 2.734935 0.000000
      vertex -1.375000 2.381570 20.000000
    endloop
  endfacet
  facet normal -0.104529 -0.994522 -0.000000
    outer loop
      vertex 0.849797 2.615405 0.000000
      vertex 0.849797 2.615405 20.000000
      vertex -0.287453 2.734935 20.000000
    endloop
  endfacet
  facet normal -0.104529 -0.994522 -0.000000
    outer loop
      vertex -0.287453 2.734935 0.000000
      vertex 0.849797 2.615405 0.000000
      vertex -0.287453 2.734935 20.000000
    endloop
  endfacet
  facet normal -0.500000 -0.866025 -0.000000
    outer loop
      vertex 1.840109 2.043648 0.000000
      vertex 1.840109 2.043648 20.000000
      vertex 0.849797 2.615405 20.000000
    endloop
  endfacet
  facet normal -0.500000 -0.866025 -0.000000
    outer loop
      vertex 0.849797 2.615405 0.000000
      vertex 1.840109 2.043648 0.000000
      vertex 0.849797 2.615405 20.000000
    endloop
  endfacet
  facet normal -0.809017 -0.587786 0.000000
    outer loop
      vertex 2.512250 1.118526 20.000000
      vertex 1.840109 2.043648 20.000000
      vertex 2.512250 1.118526 0.000000
    endloop
  endfacet
  facet normal -0.809017 -0.587786 0.000000
    outer loop
      vertex 2.512250 1.118526 0.000000
      vertex 1.840109 2.043648 20.000000
      vertex 1.840109 2.043648 0.000000
    endloop
  endfacet
  facet normal -0.978148 -0.207912 0.000000
    outer loop
      vertex 2.750000 0.000000 20.000000
      vertex 2.512250 1.118526 20.000000
      vertex 2.750000 0.000000 0.000000
    endloop
  endfacet
  facet normal -0.978148 -0.207912 0.000000
    outer loop
      vertex 2.750000 0.000000 0.000000
      vertex 2.512250 1.118526 20.000000
      vertex 2.512250 1.118526 0.000000
    endloop
  endfacet
  facet normal -0.978148 0.207912 0.000000
    outer loop
      vertex 2.750000 0.000000 20.000000
      vertex 2.750000 0.000000 0.000000
      vertex 2.512250 -1.118526 20.000000
    endloop
  endfacet
  facet normal -0.978148 0.207912 0.000000
    outer loop
      vertex 2.512250 -1.118526 20.000000
      vertex 2.750000 0.000000 0.000000
      vertex 2.512250 -1.118526 0.000000
    endloop
  endfacet
  facet normal -0.809017 0.587786 0.000000
    outer loop
      vertex 2.512250 -1.118526 20.000000
      vertex 2.512250 -1.118526 0.000000
      vertex 1.840109 -2.043648 20.000000
    endloop
  endfacet
  facet normal -0.809017 0.587786 0.000000
    outer loop
      vertex 1.840109 -2.043648 20.000000
      vertex 2.512250 -1.118526 0.000000
      vertex 1.840109 -2.043648 0.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex 1.840109 -2.043648 20.000000
      vertex 1.840109 -2.043648 0.000000
      vertex 0.849797 -2.615405 20.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex 0.849797 -2.615405 20.000000
      vertex 1.840109 -2.043648 0.000000
      vertex 0.849797 -2.615405 0.000000
    endloop
  endfacet
  facet normal -0.104529 0.994522 0.000000
    outer loop
      vertex 0.849797 -2.615405 20.000000
      vertex 0.849797 -2.615405 0.000000
      vertex -0.287453 -2.734935 20.000000
    endloop
  endfacet
  facet normal -0.104529 0.994522 0.000000
    outer loop
      vertex -0.287453 -2.734935 20.000000
      vertex 0.849797 -2.615405 0.000000
      vertex -0.287453 -2.734935 0.000000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex -0.703119 -2.599877 4.000000
      vertex -1.375000 -2.381570 4.909326
      vertex -1.375000 -2.381570 20.000000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex -0.703119 -2.599877 4.000000
      vertex -1.375000 -2.381570 20.000000
      vertex -0.287453 -2.734935 20.000000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex -0.703119 -2.599877 4.000000
      vertex -0.287453 -2.734935 20.000000
      vertex -0.287453 -2.734935 0.000000
    endloop
  endfacet
  facet normal 0.309017 0.951057 -0.000000
    outer loop
      vertex -0.703119 -2.599877 4.000000
      vertex -0.287453 -2.734935 0.000000
      vertex -1.375000 -2.381570 3.090674
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex -0.287453 -2.734935 0.000000
      vertex -1.375000 -2.381570 0.000000
      vertex -1.375000 -2.381570 3.090674
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex -1.707090 -2.082555 2.354552
      vertex -1.375000 -2.381570 3.090674
      vertex -1.375000 -2.381570 0.000000
    endloop
  endfacet
  facet normal 0.669131 0.743145 -0.000000
    outer loop
      vertex -1.707090 -2.082555 2.354552
      vertex -1.375000 -2.381570 0.000000
      vertex -2.224797 -1.616409 2.354552
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex -1.375000 -2.381570 0.000000
      vertex -2.224797 -1.616409 0.000000
      vertex -2.224797 -1.616409 2.354552
    endloop
  endfacet
  facet normal 0.913545 0.406737 0.000000
    outer loop
      vertex -2.689906 -0.571757 2.354552
      vertex -2.224797 -1.616409 2.354552
      vertex -2.224797 -1.616409 0.000000
    endloop
  endfacet
  facet normal 0.913545 0.406737 0.000000
    outer loop
      vertex -2.689906 -0.571757 0.000000
      vertex -2.689906 -0.571757 2.354552
      vertex -2.224797 -1.616409 0.000000
    endloop
  endfacet
  facet normal -0.908533 0.404505 0.104615
    outer loop
      vertex -8.660254 5.000000 7.000000
      vertex -9.510565 3.090170 7.000000
      vertex -8.641201 4.989000 7.208000
    endloop
  endfacet
  facet normal -0.908533 0.404505 0.104611
    outer loop
      vertex -8.641201 4.989000 7.208000
      vertex -9.510565 3.090170 7.000000
      vertex -9.489642 3.083372 7.208000
    endloop
  endfacet
  facet normal -0.870122 0.387404 0.304640
    outer loop
      vertex -8.641201 4.989000 7.208000
      vertex -9.489642 3.083372 7.208000
      vertex -8.585776 4.957000 7.407000
    endloop
  endfacet
  facet normal -0.870121 0.387402 0.304646
    outer loop
      vertex -8.585776 4.957000 7.407000
      vertex -9.489642 3.083372 7.208000
      vertex -9.428774 3.063594 7.407000
    endloop
  endfacet
  facet normal -0.931652 0.198029 0.304645
    outer loop
      vertex -9.489642 3.083372 7.208000
      vertex -9.923339 1.042985 7.208000
      vertex -9.428774 3.063594 7.407000
    endloop
  endfacet
  facet normal -0.931653 0.198029 0.304641
    outer loop
      vertex -9.428774 3.063594 7.407000
      vertex -9.923339 1.042985 7.208000
      vertex -9.859690 1.036295 7.407000
    endloop
  endfacet
  facet normal -0.952467 0.000000 0.304641
    outer loop
      vertex -9.923339 -1.042985 7.208000
      vertex -9.859690 -1.036295 7.407000
      vertex -9.923339 1.042985 7.208000
    endloop
  endfacet
  facet normal -0.952467 0.000000 0.304641
    outer loop
      vertex -9.923339 1.042985 7.208000
      vertex -9.859690 -1.036295 7.407000
      vertex -9.859690 1.036295 7.407000
    endloop
  endfacet
  facet normal -0.931654 -0.198029 0.304641
    outer loop
      vertex -9.859690 -1.036295 7.407000
      vertex -9.923339 -1.042985 7.208000
      vertex -9.489642 -3.083372 7.208000
    endloop
  endfacet
  facet normal -0.931652 -0.198029 0.304645
    outer loop
      vertex -9.428774 -3.063594 7.407000
      vertex -9.859690 -1.036295 7.407000
      vertex -9.489642 -3.083372 7.208000
    endloop
  endfacet
  facet normal -0.870121 -0.387403 0.304646
    outer loop
      vertex -9.428774 -3.063594 7.407000
      vertex -9.489642 -3.083372 7.208000
      vertex -8.641201 -4.989000 7.208000
    endloop
  endfacet
  facet normal -0.908533 -0.404505 0.104615
    outer loop
      vertex -8.641201 -4.989000 7.208000
      vertex -9.489642 -3.083372 7.208000
      vertex -8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal -0.804578 -0.584560 0.104614
    outer loop
      vertex -8.641201 -4.989000 7.208000
      vertex -8.660254 -5.000000 7.000000
      vertex -7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.067563 -4.022724 5.645448
      vertex -8.098782 -5.772800 5.645448
      vertex -6.017563 -2.377276 5.645448
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.017563 -2.377276 5.645448
      vertex -8.098782 -5.772800 5.645448
      vertex -8.660254 -5.000000 5.645448
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.017563 -2.377276 5.645448
      vertex -8.660254 -5.000000 5.645448
      vertex -9.048782 -4.127351 5.645448
    endloop
  endfacet
  facet normal 0.433013 -0.750000 -0.500000
    outer loop
      vertex -6.017563 -2.377276 5.645448
      vertex -6.434828 -1.854552 4.500000
      vertex -6.348225 -1.804552 4.500000
    endloop
  endfacet
  facet normal 0.433013 -0.750000 -0.500000
    outer loop
      vertex -9.048782 -4.127351 5.645448
      vertex -6.434828 -1.854552 4.500000
      vertex -6.017563 -2.377276 5.645448
    endloop
  endfacet
  facet normal 0.433013 -0.750000 -0.500000
    outer loop
      vertex -6.579165 -1.604552 4.000000
      vertex -6.434828 -1.854552 4.500000
      vertex -9.048782 -4.127351 5.645448
    endloop
  endfacet
  facet normal 0.433013 -0.750000 -0.500000
    outer loop
      vertex -9.437310 -3.254703 4.000000
      vertex -6.579165 -1.604552 4.000000
      vertex -9.048782 -4.127351 5.645448
    endloop
  endfacet
  facet normal 0.433013 -0.750000 0.500000
    outer loop
      vertex -9.048782 -4.127351 2.354552
      vertex -6.104165 -2.427276 2.354552
      vertex -6.579165 -1.604552 4.000000
    endloop
  endfacet
  facet normal 0.433013 -0.750000 0.500000
    outer loop
      vertex -9.437310 -3.254703 4.000000
      vertex -9.048782 -4.127351 2.354552
      vertex -6.579165 -1.604552 4.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -8.660254 -5.000000 2.354552
      vertex -8.098782 -5.772800 2.354552
      vertex -5.154165 -4.072724 2.354552
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -9.048782 -4.127351 2.354552
      vertex -8.660254 -5.000000 2.354552
      vertex -6.104165 -2.427276 2.354552
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -6.104165 -2.427276 2.354552
      vertex -8.660254 -5.000000 2.354552
      vertex -5.154165 -4.072724 2.354552
    endloop
  endfacet
  facet normal -0.433013 0.750000 0.500000
    outer loop
      vertex -4.679165 -4.895448 4.000000
      vertex -5.154165 -4.072724 2.354552
      vertex -7.537310 -6.545599 4.000000
    endloop
  endfacet
  facet normal -0.433013 0.750000 0.500000
    outer loop
      vertex -7.537310 -6.545599 4.000000
      vertex -5.154165 -4.072724 2.354552
      vertex -8.098782 -5.772800 2.354552
    endloop
  endfacet
  facet normal -0.433013 0.750000 -0.500000
    outer loop
      vertex -4.736900 -4.595448 4.500000
      vertex -4.823503 -4.645448 4.500000
      vertex -5.067563 -4.022724 5.645448
    endloop
  endfacet
  facet normal -0.433013 0.750000 -0.500000
    outer loop
      vertex -7.537310 -6.545599 4.000000
      vertex -4.823503 -4.645448 4.500000
      vertex -4.679165 -4.895448 4.000000
    endloop
  endfacet
  facet normal -0.433013 0.750000 -0.500000
    outer loop
      vertex -5.067563 -4.022724 5.645448
      vertex -4.823503 -4.645448 4.500000
      vertex -7.537310 -6.545599 4.000000
    endloop
  endfacet
  facet normal -0.433013 0.750000 -0.500000
    outer loop
      vertex -5.067563 -4.022724 5.645448
      vertex -7.537310 -6.545599 4.000000
      vertex -8.098782 -5.772800 5.645448
    endloop
  endfacet
  facet normal -0.804578 -0.584560 0.104612
    outer loop
      vertex -7.415099 -6.676585 7.208000
      vertex -8.641201 -4.989000 7.208000
      vertex -7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal -0.665459 -0.739067 0.104613
    outer loop
      vertex -7.415099 -6.676585 7.208000
      vertex -7.431448 -6.691306 7.000000
      vertex -5.877853 -8.090170 7.000000
    endloop
  endfacet
  facet normal -0.665459 -0.739067 0.104614
    outer loop
      vertex -5.864921 -8.072372 7.208000
      vertex -7.415099 -6.676585 7.208000
      vertex -5.877853 -8.090170 7.000000
    endloop
  endfacet
  facet normal -0.497256 -0.861274 0.104613
    outer loop
      vertex -5.864921 -8.072372 7.208000
      vertex -5.877853 -8.090170 7.000000
      vertex -4.067366 -9.135455 7.000000
    endloop
  endfacet
  facet normal -0.497257 -0.861274 0.104612
    outer loop
      vertex -4.058418 -9.115357 7.208000
      vertex -5.864921 -8.072372 7.208000
      vertex -4.067366 -9.135455 7.000000
    endloop
  endfacet
  facet normal -0.307321 -0.945838 0.104612
    outer loop
      vertex -4.058418 -9.115357 7.208000
      vertex -4.067366 -9.135455 7.000000
      vertex -2.079117 -9.781476 7.000000
    endloop
  endfacet
  facet normal -0.307321 -0.945838 0.104611
    outer loop
      vertex -2.074543 -9.759957 7.208000
      vertex -4.058418 -9.115357 7.208000
      vertex -2.079117 -9.781476 7.000000
    endloop
  endfacet
  facet normal -0.103955 -0.989065 0.104611
    outer loop
      vertex -2.074543 -9.759957 7.208000
      vertex -2.079117 -9.781476 7.000000
      vertex 0.000000 -10.000000 7.000000
    endloop
  endfacet
  facet normal -0.103955 -0.989065 0.104613
    outer loop
      vertex 0.000000 -9.978000 7.208000
      vertex -2.074543 -9.759957 7.208000
      vertex 0.000000 -10.000000 7.000000
    endloop
  endfacet
  facet normal 0.103955 -0.989065 0.104613
    outer loop
      vertex 0.000000 -9.978000 7.208000
      vertex 0.000000 -10.000000 7.000000
      vertex 2.079117 -9.781476 7.000000
    endloop
  endfacet
  facet normal 0.103955 -0.989065 0.104611
    outer loop
      vertex 2.074543 -9.759957 7.208000
      vertex 0.000000 -9.978000 7.208000
      vertex 2.079117 -9.781476 7.000000
    endloop
  endfacet
  facet normal 0.307321 -0.945838 0.104611
    outer loop
      vertex 4.067366 -9.135455 7.000000
      vertex 2.074543 -9.759957 7.208000
      vertex 2.079117 -9.781476 7.000000
    endloop
  endfacet
  facet normal 0.307321 -0.945838 0.104612
    outer loop
      vertex 4.058418 -9.115357 7.208000
      vertex 2.074543 -9.759957 7.208000
      vertex 4.067366 -9.135455 7.000000
    endloop
  endfacet
  facet normal 0.497256 -0.861274 0.104612
    outer loop
      vertex 5.877853 -8.090170 7.000000
      vertex 4.058418 -9.115357 7.208000
      vertex 4.067366 -9.135455 7.000000
    endloop
  endfacet
  facet normal 0.497257 -0.861274 0.104613
    outer loop
      vertex 5.864921 -8.072372 7.208000
      vertex 4.058418 -9.115357 7.208000
      vertex 5.877853 -8.090170 7.000000
    endloop
  endfacet
  facet normal 0.665459 -0.739067 0.104614
    outer loop
      vertex 7.431448 -6.691306 7.000000
      vertex 5.864921 -8.072372 7.208000
      vertex 5.877853 -8.090170 7.000000
    endloop
  endfacet
  facet normal 0.665459 -0.739067 0.104613
    outer loop
      vertex 7.415099 -6.676585 7.208000
      vertex 5.864921 -8.072372 7.208000
      vertex 7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal 0.804578 -0.584560 0.104612
    outer loop
      vertex 8.660254 -5.000000 7.000000
      vertex 7.415099 -6.676585 7.208000
      vertex 7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal 0.804578 -0.584560 0.104614
    outer loop
      vertex 8.641201 -4.989000 7.208000
      vertex 7.415099 -6.676585 7.208000
      vertex 8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal 0.908533 -0.404505 0.104615
    outer loop
      vertex 9.510565 -3.090170 7.000000
      vertex 8.641201 -4.989000 7.208000
      vertex 8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal 0.908533 -0.404505 0.104611
    outer loop
      vertex 9.489642 -3.083372 7.208000
      vertex 8.641201 -4.989000 7.208000
      vertex 9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal 0.972781 -0.206771 0.104611
    outer loop
      vertex 9.945219 -1.045285 7.000000
      vertex 9.489642 -3.083372 7.208000
      vertex 9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal 0.972780 -0.206771 0.104615
    outer loop
      vertex 9.923339 -1.042985 7.208000
      vertex 9.489642 -3.083372 7.208000
      vertex 9.945219 -1.045285 7.000000
    endloop
  endfacet
  facet normal 0.994513 -0.000000 0.104615
    outer loop
      vertex 9.923339 1.042985 7.208000
      vertex 9.923339 -1.042985 7.208000
      vertex 9.945219 -1.045285 7.000000
    endloop
  endfacet
  facet normal 0.994513 -0.000000 0.104615
    outer loop
      vertex 9.945219 1.045285 7.000000
      vertex 9.923339 1.042985 7.208000
      vertex 9.945219 -1.045285 7.000000
    endloop
  endfacet
  facet normal 0.972780 0.206771 0.104615
    outer loop
      vertex 9.945219 1.045285 7.000000
      vertex 9.510565 3.090170 7.000000
      vertex 9.923339 1.042985 7.208000
    endloop
  endfacet
  facet normal 0.972781 0.206771 0.104611
    outer loop
      vertex 9.510565 3.090170 7.000000
      vertex 9.489642 3.083372 7.208000
      vertex 9.923339 1.042985 7.208000
    endloop
  endfacet
  facet normal 0.908533 0.404505 0.104611
    outer loop
      vertex 9.510565 3.090170 7.000000
      vertex 8.660254 5.000000 7.000000
      vertex 9.489642 3.083372 7.208000
    endloop
  endfacet
  facet normal 0.908533 0.404505 0.104615
    outer loop
      vertex 8.660254 5.000000 7.000000
      vertex 8.641201 4.989000 7.208000
      vertex 9.489642 3.083372 7.208000
    endloop
  endfacet
  facet normal 0.804578 0.584560 0.104614
    outer loop
      vertex 8.660254 5.000000 7.000000
      vertex 7.431448 6.691306 7.000000
      vertex 8.641201 4.989000 7.208000
    endloop
  endfacet
  facet normal 0.804578 0.584560 0.104612
    outer loop
      vertex 7.431448 6.691306 7.000000
      vertex 7.415099 6.676585 7.208000
      vertex 8.641201 4.989000 7.208000
    endloop
  endfacet
  facet normal 0.665459 0.739067 0.104613
    outer loop
      vertex 7.431448 6.691306 7.000000
      vertex 5.877853 8.090170 7.000000
      vertex 7.415099 6.676585 7.208000
    endloop
  endfacet
  facet normal 0.665459 0.739067 0.104614
    outer loop
      vertex 5.877853 8.090170 7.000000
      vertex 5.864921 8.072372 7.208000
      vertex 7.415099 6.676585 7.208000
    endloop
  endfacet
  facet normal 0.497256 0.861274 0.104613
    outer loop
      vertex 5.877853 8.090170 7.000000
      vertex 4.067366 9.135455 7.000000
      vertex 5.864921 8.072372 7.208000
    endloop
  endfacet
  facet normal 0.497257 0.861274 0.104612
    outer loop
      vertex 4.067366 9.135455 7.000000
      vertex 4.058418 9.115357 7.208000
      vertex 5.864921 8.072372 7.208000
    endloop
  endfacet
  facet normal 0.307321 0.945838 0.104612
    outer loop
      vertex 4.067366 9.135455 7.000000
      vertex 2.079117 9.781476 7.000000
      vertex 4.058418 9.115357 7.208000
    endloop
  endfacet
  facet normal 0.307321 0.945838 0.104611
    outer loop
      vertex 2.079117 9.781476 7.000000
      vertex 2.074543 9.759957 7.208000
      vertex 4.058418 9.115357 7.208000
    endloop
  endfacet
  facet normal 0.103955 0.989065 0.104611
    outer loop
      vertex 2.079117 9.781476 7.000000
      vertex 0.000000 10.000000 7.000000
      vertex 2.074543 9.759957 7.208000
    endloop
  endfacet
  facet normal 0.103955 0.989065 0.104613
    outer loop
      vertex 0.000000 10.000000 7.000000
      vertex 0.000000 9.978000 7.208000
      vertex 2.074543 9.759957 7.208000
    endloop
  endfacet
  facet normal -0.103955 0.989065 0.104613
    outer loop
      vertex 0.000000 10.000000 7.000000
      vertex -2.079117 9.781476 7.000000
      vertex 0.000000 9.978000 7.208000
    endloop
  endfacet
  facet normal -0.103955 0.989065 0.104611
    outer loop
      vertex 0.000000 9.978000 7.208000
      vertex -2.079117 9.781476 7.000000
      vertex -2.074543 9.759957 7.208000
    endloop
  endfacet
  facet normal -0.307321 0.945838 0.104611
    outer loop
      vertex -2.079117 9.781476 7.000000
      vertex -4.067366 9.135455 7.000000
      vertex -2.074543 9.759957 7.208000
    endloop
  endfacet
  facet normal -0.307321 0.945838 0.104612
    outer loop
      vertex -2.074543 9.759957 7.208000
      vertex -4.067366 9.135455 7.000000
      vertex -4.058418 9.115357 7.208000
    endloop
  endfacet
  facet normal -0.497256 0.861274 0.104612
    outer loop
      vertex -4.067366 9.135455 7.000000
      vertex -5.877853 8.090170 7.000000
      vertex -4.058418 9.115357 7.208000
    endloop
  endfacet
  facet normal -0.497257 0.861274 0.104613
    outer loop
      vertex -4.058418 9.115357 7.208000
      vertex -5.877853 8.090170 7.000000
      vertex -5.864921 8.072372 7.208000
    endloop
  endfacet
  facet normal -0.665459 0.739067 0.104614
    outer loop
      vertex -5.877853 8.090170 7.000000
      vertex -7.431448 6.691306 7.000000
      vertex -5.864921 8.072372 7.208000
    endloop
  endfacet
  facet normal -0.665459 0.739067 0.104613
    outer loop
      vertex -5.864921 8.072372 7.208000
      vertex -7.431448 6.691306 7.000000
      vertex -7.415099 6.676585 7.208000
    endloop
  endfacet
  facet normal -0.804578 0.584560 0.104612
    outer loop
      vertex -7.431448 6.691306 7.000000
      vertex -8.660254 5.000000 7.000000
      vertex -7.415099 6.676585 7.208000
    endloop
  endfacet
  facet normal -0.804578 0.584560 0.104614
    outer loop
      vertex -7.415099 6.676585 7.208000
      vertex -8.660254 5.000000 7.000000
      vertex -8.641201 4.989000 7.208000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -3.836751 -0.354552 4.500000
      vertex -3.923354 -0.404552 4.500000
      vertex -5.181089 1.973909 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 4.500000
      vertex -3.923354 -0.404552 4.500000
      vertex -4.945005 1.365000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -5.181089 1.973909 4.500000
      vertex -4.945005 1.365000 4.500000
      vertex -7.369876 -0.035000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.369876 -0.035000 4.500000
      vertex -6.348225 -1.804552 4.500000
      vertex -6.434828 -1.854552 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.369876 -0.035000 4.500000
      vertex -6.434828 -1.854552 4.500000
      vertex -7.779165 0.473909 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.369876 -0.035000 4.500000
      vertex -7.779165 0.473909 4.500000
      vertex -5.181089 1.973909 4.500000
    endloop
  endfacet
  facet normal 0.433013 -0.750000 -0.500000
    outer loop
      vertex -2.648463 0.664840 4.000000
      vertex -2.689906 0.571757 4.103734
      vertex -3.592691 -0.977276 5.645448
    endloop
  endfacet
  facet normal 0.433013 -0.750000 -0.500000
    outer loop
      vertex -3.592691 -0.977276 5.645448
      vertex -2.689906 0.571757 4.103734
      vertex -2.689906 -0.456052 5.645448
    endloop
  endfacet
  facet normal 0.433013 -0.750000 -0.500000
    outer loop
      vertex -3.836751 -0.354552 4.500000
      vertex -3.592691 -0.977276 5.645448
      vertex -3.923354 -0.404552 4.500000
    endloop
  endfacet
  facet normal 0.433013 -0.750000 -0.500000
    outer loop
      vertex -2.648463 0.664840 4.000000
      vertex -3.592691 -0.977276 5.645448
      vertex -3.836751 -0.354552 4.500000
    endloop
  endfacet
  facet normal 0.433013 -0.750000 -0.500000
    outer loop
      vertex -3.836751 -0.354552 4.500000
      vertex -3.981089 -0.104552 4.000000
      vertex -2.648463 0.664840 4.000000
    endloop
  endfacet
  facet normal 0.433013 -0.750000 0.500000
    outer loop
      vertex -3.506089 -0.927276 2.354552
      vertex -2.689906 -0.456052 2.354552
      vertex -2.689906 0.571757 3.896266
    endloop
  endfacet
  facet normal 0.433013 -0.750000 0.500000
    outer loop
      vertex -2.648463 0.664840 4.000000
      vertex -3.506089 -0.927276 2.354552
      vertex -2.689906 0.571757 3.896266
    endloop
  endfacet
  facet normal 0.433013 -0.750000 0.500000
    outer loop
      vertex -2.648463 0.664840 4.000000
      vertex -3.981089 -0.104552 4.000000
      vertex -3.506089 -0.927276 2.354552
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -2.689906 -0.571757 2.354552
      vertex -3.506089 -0.927276 2.354552
      vertex -2.556089 -2.572724 2.354552
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.556089 -2.572724 2.354552
      vertex -1.707090 -2.082555 2.354552
      vertex -2.224797 -1.616409 2.354552
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.689906 -0.571757 2.354552
      vertex -2.556089 -2.572724 2.354552
      vertex -2.224797 -1.616409 2.354552
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.689906 -0.456052 2.354552
      vertex -3.506089 -0.927276 2.354552
      vertex -2.689906 -0.571757 2.354552
    endloop
  endfacet
  facet normal -0.433013 0.750000 0.500000
    outer loop
      vertex -0.703119 -2.599877 4.000000
      vertex -1.375000 -2.381570 3.090674
      vertex -2.081089 -3.395448 4.000000
    endloop
  endfacet
  facet normal -0.433013 0.750000 0.500000
    outer loop
      vertex -2.081089 -3.395448 4.000000
      vertex -1.375000 -2.381570 3.090674
      vertex -1.707090 -2.082555 2.354552
    endloop
  endfacet
  facet normal -0.433013 0.750000 0.500000
    outer loop
      vertex -2.081089 -3.395448 4.000000
      vertex -1.707090 -2.082555 2.354552
      vertex -2.556089 -2.572724 2.354552
    endloop
  endfacet
  facet normal -0.433013 0.750000 -0.500000
    outer loop
      vertex -1.375000 -2.381570 4.909326
      vertex -0.703119 -2.599877 4.000000
      vertex -2.081089 -3.395448 4.000000
    endloop
  endfacet
  facet normal -0.433013 0.750000 -0.500000
    outer loop
      vertex -1.375000 -2.381570 4.909326
      vertex -2.081089 -3.395448 4.000000
      vertex -1.707090 -2.082555 5.645448
    endloop
  endfacet
  facet normal -0.433013 0.750000 -0.500000
    outer loop
      vertex -2.081089 -3.395448 4.000000
      vertex -2.225427 -3.145448 4.500000
      vertex -1.707090 -2.082555 5.645448
    endloop
  endfacet
  facet normal -0.433013 0.750000 -0.500000
    outer loop
      vertex -2.225427 -3.145448 4.500000
      vertex -2.312029 -3.195448 4.500000
      vertex -1.707090 -2.082555 5.645448
    endloop
  endfacet
  facet normal -0.433013 0.750000 -0.500000
    outer loop
      vertex -2.312029 -3.195448 4.500000
      vertex -2.642691 -2.622724 5.645448
      vertex -1.707090 -2.082555 5.645448
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -2.225427 -3.145448 4.500000
      vertex -1.290378 -4.965000 4.500000
      vertex -2.312029 -3.195448 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -0.881089 -5.473909 4.500000
      vertex -1.290378 -4.965000 4.500000
      vertex -2.225427 -3.145448 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -3.715249 -6.365000 4.500000
      vertex -1.290378 -4.965000 4.500000
      vertex -0.881089 -5.473909 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -3.715249 -6.365000 4.500000
      vertex -0.881089 -5.473909 4.500000
      vertex -3.479165 -6.973909 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -3.715249 -6.365000 4.500000
      vertex -3.479165 -6.973909 4.500000
      vertex -4.736900 -4.595448 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -3.479165 -6.973909 4.500000
      vertex -4.823503 -4.645448 4.500000
      vertex -4.736900 -4.595448 4.500000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -2.689906 -0.456052 5.645448
      vertex -2.689906 0.571757 4.103734
      vertex -2.689906 0.571757 20.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -2.689906 -0.571757 5.645448
      vertex -2.689906 -0.456052 5.645448
      vertex -2.689906 -0.571757 20.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -2.689906 -0.571757 20.000000
      vertex -2.689906 -0.456052 5.645448
      vertex -2.689906 0.571757 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.013693 -2.622578 20.000000
      vertex -2.622578 -4.013693 20.000000
      vertex -4.692552 -0.983667 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -6.300000 0.700000 20.000000
      vertex -6.300000 -0.700000 20.000000
      vertex -4.692552 -0.983667 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.983667 -4.692552 20.000000
      vertex 0.700000 -6.300000 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.983667 -4.692552 20.000000
      vertex -6.300000 0.700000 20.000000
      vertex -4.692552 -0.983667 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.949747 -3.959798 20.000000
      vertex -3.959798 -4.949747 20.000000
      vertex -4.013693 -2.622578 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.959798 -4.949747 20.000000
      vertex -2.622578 -4.013693 20.000000
      vertex -4.013693 -2.622578 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 1.840109 -2.043648 20.000000
      vertex 0.849797 -2.615405 20.000000
      vertex 4.949747 -3.959798 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.622578 -4.013693 20.000000
      vertex -0.983667 -4.692552 20.000000
      vertex -4.692552 -0.983667 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.700000 -6.300000 20.000000
      vertex 0.700000 -6.300000 20.000000
      vertex -0.983667 -4.692552 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.700000 -6.300000 20.000000
      vertex 0.983667 -4.692552 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 2.512250 1.118526 20.000000
      vertex 6.300000 0.700000 20.000000
      vertex 4.692552 0.983667 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 3.959798 -4.949747 20.000000
      vertex 4.949747 -3.959798 20.000000
      vertex 2.622578 -4.013693 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 2.750000 0.000000 20.000000
      vertex 4.692552 -0.983667 20.000000
      vertex 6.300000 -0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -1.375000 -2.381570 20.000000
      vertex -2.224797 -1.616409 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.983667 4.692552 20.000000
      vertex -2.622578 4.013693 20.000000
      vertex -4.013693 2.622578 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.689906 -0.571757 20.000000
      vertex -2.689906 0.571757 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.949747 3.959798 20.000000
      vertex 3.959798 4.949747 20.000000
      vertex 2.622578 4.013693 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.949747 3.959798 20.000000
      vertex -2.622578 4.013693 20.000000
      vertex -3.959798 4.949747 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.689906 0.571757 20.000000
      vertex -2.224797 1.616409 20.000000
      vertex -4.692552 0.983667 20.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 0.983667 4.692552 20.000000
      vertex 0.700000 6.300000 20.000000
      vertex -0.983667 4.692552 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.013693 2.622578 20.000000
      vertex -1.375000 2.381570 20.000000
      vertex 2.622578 4.013693 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.013693 2.622578 20.000000
      vertex 2.622578 4.013693 20.000000
      vertex 0.983667 4.692552 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.013693 2.622578 20.000000
      vertex 0.983667 4.692552 20.000000
      vertex -0.983667 4.692552 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.949747 3.959798 20.000000
      vertex -4.013693 2.622578 20.000000
      vertex -2.622578 4.013693 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.224797 -1.616409 20.000000
      vertex -2.689906 -0.571757 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -0.287453 2.734935 20.000000
      vertex 2.622578 4.013693 20.000000
      vertex -1.375000 2.381570 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 2.512250 1.118526 20.000000
      vertex 2.750000 0.000000 20.000000
      vertex 6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 4.949747 3.959798 20.000000
      vertex 2.622578 4.013693 20.000000
      vertex -0.287453 2.734935 20.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 4.013693 2.622578 20.000000
      vertex 4.949747 3.959798 20.000000
      vertex 0.849797 2.615405 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.287453 2.734935 20.000000
      vertex 0.849797 2.615405 20.000000
      vertex 4.949747 3.959798 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.692552 0.983667 20.000000
      vertex 4.013693 2.622578 20.000000
      vertex 1.840109 2.043648 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.692552 0.983667 20.000000
      vertex 1.840109 2.043648 20.000000
      vertex 2.512250 1.118526 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 2.512250 -1.118526 20.000000
      vertex 1.840109 -2.043648 20.000000
      vertex 4.013693 -2.622578 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 6.300000 -0.700000 20.000000
      vertex 6.300000 0.700000 20.000000
      vertex 2.750000 0.000000 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 2.750000 0.000000 20.000000
      vertex 2.512250 -1.118526 20.000000
      vertex 4.692552 -0.983667 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.013693 -2.622578 20.000000
      vertex 4.692552 -0.983667 20.000000
      vertex 2.512250 -1.118526 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.949747 -3.959798 20.000000
      vertex 4.013693 -2.622578 20.000000
      vertex 1.840109 -2.043648 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 0.849797 -2.615405 20.000000
      vertex -0.287453 -2.734935 20.000000
      vertex 2.622578 -4.013693 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 2.622578 -4.013693 20.000000
      vertex 4.949747 -3.959798 20.000000
      vertex 0.849797 -2.615405 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.983667 -4.692552 20.000000
      vertex 2.622578 -4.013693 20.000000
      vertex -0.287453 -2.734935 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.983667 -4.692552 20.000000
      vertex -1.375000 -2.381570 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.983667 -4.692552 20.000000
      vertex -0.287453 -2.734935 20.000000
      vertex -1.375000 -2.381570 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.689906 0.571757 20.000000
      vertex -4.692552 0.983667 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -0.700000 6.300000 20.000000
      vertex -0.983667 4.692552 20.000000
      vertex 0.700000 6.300000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.849797 2.615405 20.000000
      vertex 1.840109 2.043648 20.000000
      vertex 4.013693 2.622578 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.013693 2.622578 20.000000
      vertex -2.224797 1.616409 20.000000
      vertex -1.375000 2.381570 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -4.013693 2.622578 20.000000
      vertex -4.692552 0.983667 20.000000
      vertex -2.224797 1.616409 20.000000
    endloop
  endfacet
  facet normal 0.669131 0.743145 -0.000000
    outer loop
      vertex -1.375000 -2.381570 20.000000
      vertex -1.375000 -2.381570 4.909326
      vertex -2.224797 -1.616409 20.000000
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex -2.224797 -1.616409 20.000000
      vertex -1.375000 -2.381570 4.909326
      vertex -1.707090 -2.082555 5.645448
    endloop
  endfacet
  facet normal 0.669131 0.743145 -0.000000
    outer loop
      vertex -2.224797 -1.616409 20.000000
      vertex -1.707090 -2.082555 5.645448
      vertex -2.224797 -1.616409 5.645448
    endloop
  endfacet
  facet normal -0.770562 0.559846 0.304641
    outer loop
      vertex -7.415099 6.676585 7.208000
      vertex -8.641201 4.989000 7.208000
      vertex -7.367538 6.633761 7.407000
    endloop
  endfacet
  facet normal -0.770562 0.559846 0.304641
    outer loop
      vertex -7.367538 6.633761 7.407000
      vertex -8.641201 4.989000 7.208000
      vertex -8.585776 4.957000 7.407000
    endloop
  endfacet
  facet normal -0.700756 0.509129 0.499729
    outer loop
      vertex -7.367538 6.633761 7.407000
      vertex -8.585776 4.957000 7.407000
      vertex -7.289508 6.563502 7.588000
    endloop
  endfacet
  facet normal -0.700756 0.509129 0.499730
    outer loop
      vertex -7.289508 6.563502 7.588000
      vertex -8.585776 4.957000 7.407000
      vertex -8.494843 4.904500 7.588000
    endloop
  endfacet
  facet normal -0.791296 0.352307 0.499730
    outer loop
      vertex -8.585776 4.957000 7.407000
      vertex -9.428774 3.063594 7.407000
      vertex -8.494843 4.904500 7.588000
    endloop
  endfacet
  facet normal -0.791297 0.352308 0.499728
    outer loop
      vertex -8.494843 4.904500 7.588000
      vertex -9.428774 3.063594 7.407000
      vertex -9.328913 3.031148 7.588000
    endloop
  endfacet
  facet normal -0.847254 0.180090 0.499728
    outer loop
      vertex -9.428774 3.063594 7.407000
      vertex -9.859690 1.036295 7.407000
      vertex -9.328913 3.031148 7.588000
    endloop
  endfacet
  facet normal -0.847254 0.180089 0.499729
    outer loop
      vertex -9.328913 3.031148 7.588000
      vertex -9.859690 1.036295 7.407000
      vertex -9.755265 1.025320 7.588000
    endloop
  endfacet
  facet normal -0.866182 0.000000 0.499729
    outer loop
      vertex -9.859690 -1.036295 7.407000
      vertex -9.755265 -1.025320 7.588000
      vertex -9.859690 1.036295 7.407000
    endloop
  endfacet
  facet normal -0.866182 0.000000 0.499729
    outer loop
      vertex -9.859690 1.036295 7.407000
      vertex -9.755265 -1.025320 7.588000
      vertex -9.755265 1.025320 7.588000
    endloop
  endfacet
  facet normal -0.847254 -0.180089 0.499729
    outer loop
      vertex -9.755265 -1.025320 7.588000
      vertex -9.859690 -1.036295 7.407000
      vertex -9.428774 -3.063594 7.407000
    endloop
  endfacet
  facet normal -0.847254 -0.180089 0.499728
    outer loop
      vertex -9.328913 -3.031148 7.588000
      vertex -9.755265 -1.025320 7.588000
      vertex -9.428774 -3.063594 7.407000
    endloop
  endfacet
  facet normal -0.791297 -0.352308 0.499728
    outer loop
      vertex -9.328913 -3.031148 7.588000
      vertex -9.428774 -3.063594 7.407000
      vertex -8.585776 -4.957000 7.407000
    endloop
  endfacet
  facet normal -0.870122 -0.387403 0.304640
    outer loop
      vertex -8.585776 -4.957000 7.407000
      vertex -9.428774 -3.063594 7.407000
      vertex -8.641201 -4.989000 7.208000
    endloop
  endfacet
  facet normal -0.770562 -0.559846 0.304641
    outer loop
      vertex -8.585776 -4.957000 7.407000
      vertex -8.641201 -4.989000 7.208000
      vertex -7.415099 -6.676585 7.208000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -5.733088 -2.870000 8.000000
      vertex -5.352037 -3.530000 8.000000
      vertex -3.715249 -6.365000 6.110000
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -4.736900 -4.595448 4.500000
      vertex -5.733088 -2.870000 8.000000
      vertex -3.715249 -6.365000 4.500000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -3.715249 -6.365000 4.500000
      vertex -5.733088 -2.870000 8.000000
      vertex -3.715249 -6.365000 6.110000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -5.067563 -4.022724 5.645448
      vertex -5.733088 -2.870000 8.000000
      vertex -4.736900 -4.595448 4.500000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -6.017563 -2.377276 5.645448
      vertex -5.733088 -2.870000 8.000000
      vertex -5.067563 -4.022724 5.645448
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -6.348225 -1.804552 4.500000
      vertex -5.733088 -2.870000 8.000000
      vertex -6.017563 -2.377276 5.645448
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -7.369876 -0.035000 4.500000
      vertex -5.733088 -2.870000 8.000000
      vertex -6.348225 -1.804552 4.500000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -7.369876 -0.035000 6.110000
      vertex -5.733088 -2.870000 8.000000
      vertex -7.369876 -0.035000 4.500000
    endloop
  endfacet
  facet normal -0.770562 -0.559846 0.304641
    outer loop
      vertex -7.367538 -6.633761 7.407000
      vertex -8.585776 -4.957000 7.407000
      vertex -7.415099 -6.676585 7.208000
    endloop
  endfacet
  facet normal -0.637325 -0.707821 0.304641
    outer loop
      vertex -7.367538 -6.633761 7.407000
      vertex -7.415099 -6.676585 7.208000
      vertex -5.864921 -8.072372 7.208000
    endloop
  endfacet
  facet normal -0.637324 -0.707820 0.304645
    outer loop
      vertex -5.827303 -8.020594 7.407000
      vertex -7.367538 -6.633761 7.407000
      vertex -5.864921 -8.072372 7.208000
    endloop
  endfacet
  facet normal -0.476233 -0.824860 0.304646
    outer loop
      vertex -5.827303 -8.020594 7.407000
      vertex -5.864921 -8.072372 7.208000
      vertex -4.058418 -9.115357 7.208000
    endloop
  endfacet
  facet normal -0.476234 -0.824860 0.304643
    outer loop
      vertex -4.032387 -9.056890 7.407000
      vertex -5.827303 -8.020594 7.407000
      vertex -4.058418 -9.115357 7.208000
    endloop
  endfacet
  facet normal -0.294328 -0.905850 0.304643
    outer loop
      vertex -4.032387 -9.056890 7.407000
      vertex -4.058418 -9.115357 7.208000
      vertex -2.074543 -9.759957 7.208000
    endloop
  endfacet
  facet normal -0.294328 -0.905849 0.304645
    outer loop
      vertex -2.061237 -9.697355 7.407000
      vertex -4.032387 -9.056890 7.407000
      vertex -2.074543 -9.759957 7.208000
    endloop
  endfacet
  facet normal -0.099560 -0.947248 0.304645
    outer loop
      vertex -2.061237 -9.697355 7.407000
      vertex -2.074543 -9.759957 7.208000
      vertex 0.000000 -9.978000 7.208000
    endloop
  endfacet
  facet normal -0.099560 -0.947249 0.304643
    outer loop
      vertex 0.000000 -9.914000 7.407000
      vertex -2.061237 -9.697355 7.407000
      vertex 0.000000 -9.978000 7.208000
    endloop
  endfacet
  facet normal 0.099560 -0.947249 0.304643
    outer loop
      vertex 0.000000 -9.914000 7.407000
      vertex 0.000000 -9.978000 7.208000
      vertex 2.074543 -9.759957 7.208000
    endloop
  endfacet
  facet normal 0.099560 -0.947248 0.304645
    outer loop
      vertex 2.061237 -9.697355 7.407000
      vertex 0.000000 -9.914000 7.407000
      vertex 2.074543 -9.759957 7.208000
    endloop
  endfacet
  facet normal 0.294328 -0.905849 0.304645
    outer loop
      vertex 4.058418 -9.115357 7.208000
      vertex 2.061237 -9.697355 7.407000
      vertex 2.074543 -9.759957 7.208000
    endloop
  endfacet
  facet normal 0.294328 -0.905850 0.304643
    outer loop
      vertex 4.032387 -9.056890 7.407000
      vertex 2.061237 -9.697355 7.407000
      vertex 4.058418 -9.115357 7.208000
    endloop
  endfacet
  facet normal 0.476233 -0.824860 0.304643
    outer loop
      vertex 5.864921 -8.072372 7.208000
      vertex 4.032387 -9.056890 7.407000
      vertex 4.058418 -9.115357 7.208000
    endloop
  endfacet
  facet normal 0.476233 -0.824859 0.304646
    outer loop
      vertex 5.827303 -8.020594 7.407000
      vertex 4.032387 -9.056890 7.407000
      vertex 5.864921 -8.072372 7.208000
    endloop
  endfacet
  facet normal 0.637324 -0.707820 0.304645
    outer loop
      vertex 7.415099 -6.676585 7.208000
      vertex 5.827303 -8.020594 7.407000
      vertex 5.864921 -8.072372 7.208000
    endloop
  endfacet
  facet normal 0.637325 -0.707821 0.304641
    outer loop
      vertex 7.367538 -6.633761 7.407000
      vertex 5.827303 -8.020594 7.407000
      vertex 7.415099 -6.676585 7.208000
    endloop
  endfacet
  facet normal 0.770562 -0.559846 0.304641
    outer loop
      vertex 8.641201 -4.989000 7.208000
      vertex 7.367538 -6.633761 7.407000
      vertex 7.415099 -6.676585 7.208000
    endloop
  endfacet
  facet normal 0.770562 -0.559846 0.304641
    outer loop
      vertex 8.585776 -4.957000 7.407000
      vertex 7.367538 -6.633761 7.407000
      vertex 8.641201 -4.989000 7.208000
    endloop
  endfacet
  facet normal 0.870122 -0.387404 0.304640
    outer loop
      vertex 9.489642 -3.083372 7.208000
      vertex 8.585776 -4.957000 7.407000
      vertex 8.641201 -4.989000 7.208000
    endloop
  endfacet
  facet normal 0.870121 -0.387402 0.304646
    outer loop
      vertex 9.428774 -3.063594 7.407000
      vertex 8.585776 -4.957000 7.407000
      vertex 9.489642 -3.083372 7.208000
    endloop
  endfacet
  facet normal 0.931652 -0.198029 0.304645
    outer loop
      vertex 9.923339 -1.042985 7.208000
      vertex 9.428774 -3.063594 7.407000
      vertex 9.489642 -3.083372 7.208000
    endloop
  endfacet
  facet normal 0.931653 -0.198029 0.304641
    outer loop
      vertex 9.859690 -1.036295 7.407000
      vertex 9.428774 -3.063594 7.407000
      vertex 9.923339 -1.042985 7.208000
    endloop
  endfacet
  facet normal 0.952467 -0.000000 0.304641
    outer loop
      vertex 9.859690 1.036295 7.407000
      vertex 9.859690 -1.036295 7.407000
      vertex 9.923339 -1.042985 7.208000
    endloop
  endfacet
  facet normal 0.952467 -0.000000 0.304641
    outer loop
      vertex 9.923339 1.042985 7.208000
      vertex 9.859690 1.036295 7.407000
      vertex 9.923339 -1.042985 7.208000
    endloop
  endfacet
  facet normal 0.931654 0.198029 0.304641
    outer loop
      vertex 9.923339 1.042985 7.208000
      vertex 9.489642 3.083372 7.208000
      vertex 9.859690 1.036295 7.407000
    endloop
  endfacet
  facet normal 0.931652 0.198029 0.304645
    outer loop
      vertex 9.489642 3.083372 7.208000
      vertex 9.428774 3.063594 7.407000
      vertex 9.859690 1.036295 7.407000
    endloop
  endfacet
  facet normal 0.870121 0.387403 0.304646
    outer loop
      vertex 9.489642 3.083372 7.208000
      vertex 8.641201 4.989000 7.208000
      vertex 9.428774 3.063594 7.407000
    endloop
  endfacet
  facet normal 0.870122 0.387403 0.304640
    outer loop
      vertex 8.641201 4.989000 7.208000
      vertex 8.585776 4.957000 7.407000
      vertex 9.428774 3.063594 7.407000
    endloop
  endfacet
  facet normal 0.770562 0.559846 0.304641
    outer loop
      vertex 8.641201 4.989000 7.208000
      vertex 7.415099 6.676585 7.208000
      vertex 8.585776 4.957000 7.407000
    endloop
  endfacet
  facet normal 0.770562 0.559846 0.304641
    outer loop
      vertex 7.415099 6.676585 7.208000
      vertex 7.367538 6.633761 7.407000
      vertex 8.585776 4.957000 7.407000
    endloop
  endfacet
  facet normal 0.637325 0.707821 0.304641
    outer loop
      vertex 7.415099 6.676585 7.208000
      vertex 5.864921 8.072372 7.208000
      vertex 7.367538 6.633761 7.407000
    endloop
  endfacet
  facet normal 0.637324 0.707820 0.304645
    outer loop
      vertex 5.864921 8.072372 7.208000
      vertex 5.827303 8.020594 7.407000
      vertex 7.367538 6.633761 7.407000
    endloop
  endfacet
  facet normal 0.476233 0.824860 0.304646
    outer loop
      vertex 5.864921 8.072372 7.208000
      vertex 4.058418 9.115357 7.208000
      vertex 5.827303 8.020594 7.407000
    endloop
  endfacet
  facet normal 0.476234 0.824860 0.304643
    outer loop
      vertex 4.058418 9.115357 7.208000
      vertex 4.032387 9.056890 7.407000
      vertex 5.827303 8.020594 7.407000
    endloop
  endfacet
  facet normal 0.294328 0.905850 0.304643
    outer loop
      vertex 4.058418 9.115357 7.208000
      vertex 2.074543 9.759957 7.208000
      vertex 4.032387 9.056890 7.407000
    endloop
  endfacet
  facet normal 0.294328 0.905849 0.304645
    outer loop
      vertex 2.074543 9.759957 7.208000
      vertex 2.061237 9.697355 7.407000
      vertex 4.032387 9.056890 7.407000
    endloop
  endfacet
  facet normal 0.099560 0.947248 0.304645
    outer loop
      vertex 2.074543 9.759957 7.208000
      vertex 0.000000 9.978000 7.208000
      vertex 2.061237 9.697355 7.407000
    endloop
  endfacet
  facet normal 0.099560 0.947249 0.304643
    outer loop
      vertex 0.000000 9.978000 7.208000
      vertex 0.000000 9.914000 7.407000
      vertex 2.061237 9.697355 7.407000
    endloop
  endfacet
  facet normal -0.099560 0.947249 0.304643
    outer loop
      vertex 0.000000 9.978000 7.208000
      vertex -2.074543 9.759957 7.208000
      vertex 0.000000 9.914000 7.407000
    endloop
  endfacet
  facet normal -0.099560 0.947248 0.304645
    outer loop
      vertex 0.000000 9.914000 7.407000
      vertex -2.074543 9.759957 7.208000
      vertex -2.061237 9.697355 7.407000
    endloop
  endfacet
  facet normal -0.294328 0.905849 0.304645
    outer loop
      vertex -2.074543 9.759957 7.208000
      vertex -4.058418 9.115357 7.208000
      vertex -2.061237 9.697355 7.407000
    endloop
  endfacet
  facet normal -0.294328 0.905850 0.304643
    outer loop
      vertex -2.061237 9.697355 7.407000
      vertex -4.058418 9.115357 7.208000
      vertex -4.032387 9.056890 7.407000
    endloop
  endfacet
  facet normal -0.476233 0.824860 0.304643
    outer loop
      vertex -4.058418 9.115357 7.208000
      vertex -5.864921 8.072372 7.208000
      vertex -4.032387 9.056890 7.407000
    endloop
  endfacet
  facet normal -0.476233 0.824859 0.304646
    outer loop
      vertex -4.032387 9.056890 7.407000
      vertex -5.864921 8.072372 7.208000
      vertex -5.827303 8.020594 7.407000
    endloop
  endfacet
  facet normal -0.637324 0.707820 0.304645
    outer loop
      vertex -5.864921 8.072372 7.208000
      vertex -7.415099 6.676585 7.208000
      vertex -5.827303 8.020594 7.407000
    endloop
  endfacet
  facet normal -0.637325 0.707821 0.304641
    outer loop
      vertex -5.827303 8.020594 7.407000
      vertex -7.415099 6.676585 7.208000
      vertex -7.367538 6.633761 7.407000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex -7.369876 -0.035000 4.500000
      vertex -4.945005 1.365000 4.500000
      vertex -4.945005 1.365000 6.110000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex -7.369876 -0.035000 6.110000
      vertex -7.369876 -0.035000 4.500000
      vertex -4.945005 1.365000 6.110000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -3.923354 -0.404552 4.500000
      vertex -3.592691 -0.977276 5.645448
      vertex -4.945005 1.365000 4.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -3.117692 -1.800000 8.220000
      vertex -3.592691 -0.977276 5.645448
      vertex -1.290378 -4.965000 6.110000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -1.290378 -4.965000 4.500000
      vertex -2.642691 -2.622724 5.645448
      vertex -2.312029 -3.195448 4.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -1.290378 -4.965000 6.110000
      vertex -2.642691 -2.622724 5.645448
      vertex -1.290378 -4.965000 4.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -3.592691 -0.977276 5.645448
      vertex -2.642691 -2.622724 5.645448
      vertex -1.290378 -4.965000 6.110000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -4.945005 1.365000 4.500000
      vertex -3.592691 -0.977276 5.645448
      vertex -3.117692 -1.800000 8.220000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -4.945005 1.365000 4.500000
      vertex -3.117692 -1.800000 8.220000
      vertex -4.945005 1.365000 6.110000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -2.642691 -2.622724 5.645448
      vertex -2.224797 -1.616409 5.645448
      vertex -1.707090 -2.082555 5.645448
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -2.689906 -0.571757 5.645448
      vertex -2.224797 -1.616409 5.645448
      vertex -2.642691 -2.622724 5.645448
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -2.689906 -0.571757 5.645448
      vertex -2.642691 -2.622724 5.645448
      vertex -3.592691 -0.977276 5.645448
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -2.689906 -0.571757 5.645448
      vertex -3.592691 -0.977276 5.645448
      vertex -2.689906 -0.456052 5.645448
    endloop
  endfacet
  facet normal -0.500000 0.866025 -0.000000
    outer loop
      vertex -1.290378 -4.965000 4.500000
      vertex -3.715249 -6.365000 4.500000
      vertex -1.290378 -4.965000 6.110000
    endloop
  endfacet
  facet normal -0.500000 0.866025 -0.000000
    outer loop
      vertex -1.290378 -4.965000 6.110000
      vertex -3.715249 -6.365000 4.500000
      vertex -3.715249 -6.365000 6.110000
    endloop
  endfacet
  facet normal 0.913545 0.406737 0.000000
    outer loop
      vertex -2.689906 -0.571757 20.000000
      vertex -2.224797 -1.616409 20.000000
      vertex -2.224797 -1.616409 5.645448
    endloop
  endfacet
  facet normal 0.913545 0.406737 0.000000
    outer loop
      vertex -2.689906 -0.571757 5.645448
      vertex -2.689906 -0.571757 20.000000
      vertex -2.224797 -1.616409 5.645448
    endloop
  endfacet
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -6.300000 -0.700000 8.000000
      vertex -6.300000 -0.700000 20.000000
      vertex -6.300000 0.700000 8.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -6.300000 0.700000 8.000000
      vertex -6.300000 -0.700000 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal -0.173785 0.984784 0.000000
    outer loop
      vertex -6.300000 0.700000 8.000000
      vertex -6.300000 0.700000 20.000000
      vertex -4.692552 0.983667 8.000000
    endloop
  endfacet
  facet normal -0.173785 0.984784 0.000000
    outer loop
      vertex -4.692552 0.983667 8.000000
      vertex -6.300000 0.700000 20.000000
      vertex -4.692552 0.983667 20.000000
    endloop
  endfacet
  facet normal -0.923880 0.382683 0.000000
    outer loop
      vertex -4.692552 0.983667 8.000000
      vertex -4.692552 0.983667 20.000000
      vertex -4.013693 2.622578 8.000000
    endloop
  endfacet
  facet normal -0.923880 0.382683 0.000000
    outer loop
      vertex -4.013693 2.622578 8.000000
      vertex -4.692552 0.983667 20.000000
      vertex -4.013693 2.622578 20.000000
    endloop
  endfacet
  facet normal -0.819232 -0.573462 -0.000000
    outer loop
      vertex -4.949747 3.959798 8.000000
      vertex -4.013693 2.622578 8.000000
      vertex -4.949747 3.959798 20.000000
    endloop
  endfacet
  facet normal -0.819232 -0.573462 0.000000
    outer loop
      vertex -4.949747 3.959798 20.000000
      vertex -4.013693 2.622578 8.000000
      vertex -4.013693 2.622578 20.000000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex -4.949747 3.959798 8.000000
      vertex -4.949747 3.959798 20.000000
      vertex -3.959798 4.949747 8.000000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex -3.959798 4.949747 8.000000
      vertex -4.949747 3.959798 20.000000
      vertex -3.959798 4.949747 20.000000
    endloop
  endfacet
  facet normal 0.573462 0.819232 0.000000
    outer loop
      vertex -3.959798 4.949747 8.000000
      vertex -3.959798 4.949747 20.000000
      vertex -2.622578 4.013693 8.000000
    endloop
  endfacet
  facet normal 0.573462 0.819232 0.000000
    outer loop
      vertex -2.622578 4.013693 8.000000
      vertex -3.959798 4.949747 20.000000
      vertex -2.622578 4.013693 20.000000
    endloop
  endfacet
  facet normal -0.382683 0.923880 0.000000
    outer loop
      vertex -2.622578 4.013693 8.000000
      vertex -2.622578 4.013693 20.000000
      vertex -0.983667 4.692552 8.000000
    endloop
  endfacet
  facet normal -0.382683 0.923880 0.000000
    outer loop
      vertex -0.983667 4.692552 8.000000
      vertex -2.622578 4.013693 20.000000
      vertex -0.983667 4.692552 20.000000
    endloop
  endfacet
  facet normal -0.984784 0.173785 0.000000
    outer loop
      vertex -0.983667 4.692552 8.000000
      vertex -0.983667 4.692552 20.000000
      vertex -0.700000 6.300000 8.000000
    endloop
  endfacet
  facet normal -0.984784 0.173785 0.000000
    outer loop
      vertex -0.700000 6.300000 8.000000
      vertex -0.983667 4.692552 20.000000
      vertex -0.700000 6.300000 20.000000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex -0.700000 6.300000 8.000000
      vertex -0.700000 6.300000 20.000000
      vertex 0.700000 6.300000 8.000000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex 0.700000 6.300000 8.000000
      vertex -0.700000 6.300000 20.000000
      vertex 0.700000 6.300000 20.000000
    endloop
  endfacet
  facet normal 0.984784 0.173785 0.000000
    outer loop
      vertex 0.983667 4.692552 8.000000
      vertex 0.700000 6.300000 8.000000
      vertex 0.700000 6.300000 20.000000
    endloop
  endfacet
  facet normal 0.984784 0.173785 -0.000000
    outer loop
      vertex 0.983667 4.692552 20.000000
      vertex 0.983667 4.692552 8.000000
      vertex 0.700000 6.300000 20.000000
    endloop
  endfacet
  facet normal 0.382683 0.923880 0.000000
    outer loop
      vertex 0.983667 4.692552 8.000000
      vertex 0.983667 4.692552 20.000000
      vertex 2.622578 4.013693 8.000000
    endloop
  endfacet
  facet normal 0.382683 0.923880 0.000000
    outer loop
      vertex 2.622578 4.013693 8.000000
      vertex 0.983667 4.692552 20.000000
      vertex 2.622578 4.013693 20.000000
    endloop
  endfacet
  facet normal -0.573462 0.819232 0.000000
    outer loop
      vertex 2.622578 4.013693 8.000000
      vertex 2.622578 4.013693 20.000000
      vertex 3.959798 4.949747 8.000000
    endloop
  endfacet
  facet normal -0.573462 0.819232 0.000000
    outer loop
      vertex 3.959798 4.949747 8.000000
      vertex 2.622578 4.013693 20.000000
      vertex 3.959798 4.949747 20.000000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex 4.949747 3.959798 8.000000
      vertex 3.959798 4.949747 8.000000
      vertex 3.959798 4.949747 20.000000
    endloop
  endfacet
  facet normal 0.707107 0.707107 -0.000000
    outer loop
      vertex 4.949747 3.959798 20.000000
      vertex 4.949747 3.959798 8.000000
      vertex 3.959798 4.949747 20.000000
    endloop
  endfacet
  facet normal 0.819232 -0.573462 0.000000
    outer loop
      vertex 4.013693 2.622578 20.000000
      vertex 4.013693 2.622578 8.000000
      vertex 4.949747 3.959798 8.000000
    endloop
  endfacet
  facet normal 0.819232 -0.573462 0.000000
    outer loop
      vertex 4.949747 3.959798 20.000000
      vertex 4.013693 2.622578 20.000000
      vertex 4.949747 3.959798 8.000000
    endloop
  endfacet
  facet normal 0.923880 0.382683 0.000000
    outer loop
      vertex 4.692552 0.983667 8.000000
      vertex 4.013693 2.622578 8.000000
      vertex 4.013693 2.622578 20.000000
    endloop
  endfacet
  facet normal 0.923880 0.382683 -0.000000
    outer loop
      vertex 4.692552 0.983667 20.000000
      vertex 4.692552 0.983667 8.000000
      vertex 4.013693 2.622578 20.000000
    endloop
  endfacet
  facet normal 0.173785 0.984784 0.000000
    outer loop
      vertex 4.692552 0.983667 8.000000
      vertex 4.692552 0.983667 20.000000
      vertex 6.300000 0.700000 8.000000
    endloop
  endfacet
  facet normal 0.173785 0.984784 0.000000
    outer loop
      vertex 6.300000 0.700000 8.000000
      vertex 4.692552 0.983667 20.000000
      vertex 6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 -0.000000
    outer loop
      vertex 6.300000 -0.700000 20.000000
      vertex 6.300000 -0.700000 8.000000
      vertex 6.300000 0.700000 8.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 6.300000 0.700000 20.000000
      vertex 6.300000 -0.700000 20.000000
      vertex 6.300000 0.700000 8.000000
    endloop
  endfacet
  facet normal 0.173785 -0.984784 0.000000
    outer loop
      vertex 4.692552 -0.983667 20.000000
      vertex 4.692552 -0.983667 8.000000
      vertex 6.300000 -0.700000 8.000000
    endloop
  endfacet
  facet normal 0.173785 -0.984784 0.000000
    outer loop
      vertex 6.300000 -0.700000 20.000000
      vertex 4.692552 -0.983667 20.000000
      vertex 6.300000 -0.700000 8.000000
    endloop
  endfacet
  facet normal 0.923880 -0.382683 0.000000
    outer loop
      vertex 4.013693 -2.622578 20.000000
      vertex 4.013693 -2.622578 8.000000
      vertex 4.692552 -0.983667 8.000000
    endloop
  endfacet
  facet normal 0.923880 -0.382683 0.000000
    outer loop
      vertex 4.692552 -0.983667 20.000000
      vertex 4.013693 -2.622578 20.000000
      vertex 4.692552 -0.983667 8.000000
    endloop
  endfacet
  facet normal 0.819232 0.573462 0.000000
    outer loop
      vertex 4.949747 -3.959798 8.000000
      vertex 4.013693 -2.622578 8.000000
      vertex 4.013693 -2.622578 20.000000
    endloop
  endfacet
  facet normal 0.819232 0.573462 -0.000000
    outer loop
      vertex 4.949747 -3.959798 20.000000
      vertex 4.949747 -3.959798 8.000000
      vertex 4.013693 -2.622578 20.000000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex 3.959798 -4.949747 20.000000
      vertex 3.959798 -4.949747 8.000000
      vertex 4.949747 -3.959798 8.000000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex 4.949747 -3.959798 20.000000
      vertex 3.959798 -4.949747 20.000000
      vertex 4.949747 -3.959798 8.000000
    endloop
  endfacet
  facet normal -0.573462 -0.819232 0.000000
    outer loop
      vertex 2.622578 -4.013693 20.000000
      vertex 2.622578 -4.013693 8.000000
      vertex 3.959798 -4.949747 8.000000
    endloop
  endfacet
  facet normal -0.573462 -0.819232 0.000000
    outer loop
      vertex 3.959798 -4.949747 20.000000
      vertex 2.622578 -4.013693 20.000000
      vertex 3.959798 -4.949747 8.000000
    endloop
  endfacet
  facet normal 0.382683 -0.923880 0.000000
    outer loop
      vertex 0.983667 -4.692552 20.000000
      vertex 0.983667 -4.692552 8.000000
      vertex 2.622578 -4.013693 8.000000
    endloop
  endfacet
  facet normal 0.382683 -0.923880 0.000000
    outer loop
      vertex 2.622578 -4.013693 20.000000
      vertex 0.983667 -4.692552 20.000000
      vertex 2.622578 -4.013693 8.000000
    endloop
  endfacet
  facet normal 0.984784 -0.173785 0.000000
    outer loop
      vertex 0.700000 -6.300000 20.000000
      vertex 0.700000 -6.300000 8.000000
      vertex 0.983667 -4.692552 8.000000
    endloop
  endfacet
  facet normal 0.984784 -0.173785 0.000000
    outer loop
      vertex 0.983667 -4.692552 20.000000
      vertex 0.700000 -6.300000 20.000000
      vertex 0.983667 -4.692552 8.000000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex -0.700000 -6.300000 20.000000
      vertex -0.700000 -6.300000 8.000000
      vertex 0.700000 -6.300000 8.000000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex 0.700000 -6.300000 20.000000
      vertex -0.700000 -6.300000 20.000000
      vertex 0.700000 -6.300000 8.000000
    endloop
  endfacet
  facet normal -0.984784 -0.173785 -0.000000
    outer loop
      vertex -0.983667 -4.692552 8.000000
      vertex -0.700000 -6.300000 8.000000
      vertex -0.983667 -4.692552 20.000000
    endloop
  endfacet
  facet normal -0.984784 -0.173785 0.000000
    outer loop
      vertex -0.983667 -4.692552 20.000000
      vertex -0.700000 -6.300000 8.000000
      vertex -0.700000 -6.300000 20.000000
    endloop
  endfacet
  facet normal -0.382683 -0.923880 0.000000
    outer loop
      vertex -2.622578 -4.013693 20.000000
      vertex -2.622578 -4.013693 8.000000
      vertex -0.983667 -4.692552 8.000000
    endloop
  endfacet
  facet normal -0.382683 -0.923880 0.000000
    outer loop
      vertex -0.983667 -4.692552 20.000000
      vertex -2.622578 -4.013693 20.000000
      vertex -0.983667 -4.692552 8.000000
    endloop
  endfacet
  facet normal 0.573462 -0.819232 0.000000
    outer loop
      vertex -3.959798 -4.949747 20.000000
      vertex -3.959798 -4.949747 8.000000
      vertex -2.622578 -4.013693 8.000000
    endloop
  endfacet
  facet normal 0.573462 -0.819232 0.000000
    outer loop
      vertex -2.622578 -4.013693 20.000000
      vertex -3.959798 -4.949747 20.000000
      vertex -2.622578 -4.013693 8.000000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 -0.000000
    outer loop
      vertex -4.949747 -3.959798 8.000000
      vertex -3.959798 -4.949747 8.000000
      vertex -4.949747 -3.959798 20.000000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex -4.949747 -3.959798 20.000000
      vertex -3.959798 -4.949747 8.000000
      vertex -3.959798 -4.949747 20.000000
    endloop
  endfacet
  facet normal -0.819232 0.573462 0.000000
    outer loop
      vertex -4.949747 -3.959798 8.000000
      vertex -4.949747 -3.959798 20.000000
      vertex -4.171970 -2.848688 8.000000
    endloop
  endfacet
  facet normal -0.819232 0.573462 0.000000
    outer loop
      vertex -4.171970 -2.848688 8.000000
      vertex -4.949747 -3.959798 20.000000
      vertex -4.013693 -2.622578 20.000000
    endloop
  endfacet
  facet normal -0.819232 0.573462 0.000000
    outer loop
      vertex -4.171970 -2.848688 8.000000
      vertex -4.013693 -2.622578 20.000000
      vertex -4.013693 -2.622578 8.067364
    endloop
  endfacet
  facet normal -0.923880 -0.382683 -0.000000
    outer loop
      vertex -4.692552 -0.983667 8.000000
      vertex -4.262817 -2.021139 8.000000
      vertex -4.692552 -0.983667 20.000000
    endloop
  endfacet
  facet normal -0.923880 -0.382683 0.000000
    outer loop
      vertex -4.692552 -0.983667 20.000000
      vertex -4.262817 -2.021139 8.000000
      vertex -4.115737 -2.376222 8.220000
    endloop
  endfacet
  facet normal -0.923880 -0.382683 -0.000000
    outer loop
      vertex -4.692552 -0.983667 20.000000
      vertex -4.115737 -2.376222 8.220000
      vertex -4.013693 -2.622578 8.067364
    endloop
  endfacet
  facet normal -0.923880 -0.382683 0.000000
    outer loop
      vertex -4.692552 -0.983667 20.000000
      vertex -4.013693 -2.622578 8.067364
      vertex -4.013693 -2.622578 20.000000
    endloop
  endfacet
  facet normal -0.173785 -0.984784 0.000000
    outer loop
      vertex -6.300000 -0.700000 20.000000
      vertex -6.300000 -0.700000 8.000000
      vertex -4.692552 -0.983667 8.000000
    endloop
  endfacet
  facet normal -0.173785 -0.984784 0.000000
    outer loop
      vertex -4.692552 -0.983667 20.000000
      vertex -6.300000 -0.700000 20.000000
      vertex -4.692552 -0.983667 8.000000
    endloop
  endfacet
  facet normal -0.579590 0.643700 0.499725
    outer loop
      vertex -5.827303 8.020594 7.407000
      vertex -7.367538 6.633761 7.407000
      vertex -5.765586 7.935648 7.588000
    endloop
  endfacet
  facet normal -0.579589 0.643698 0.499729
    outer loop
      vertex -5.765586 7.935648 7.588000
      vertex -7.367538 6.633761 7.407000
      vertex -7.289508 6.563502 7.588000
    endloop
  endfacet
  facet normal -0.497786 0.552847 0.668258
    outer loop
      vertex -5.765586 7.935648 7.588000
      vertex -7.289508 6.563502 7.588000
      vertex -5.683296 7.822385 7.743000
    endloop
  endfacet
  facet normal -0.497786 0.552848 0.668257
    outer loop
      vertex -5.683296 7.822385 7.743000
      vertex -7.289508 6.563502 7.588000
      vertex -7.185467 6.469824 7.743000
    endloop
  endfacet
  facet normal -0.601852 0.437271 0.668258
    outer loop
      vertex -7.289508 6.563502 7.588000
      vertex -8.494843 4.904500 7.588000
      vertex -7.185467 6.469824 7.743000
    endloop
  endfacet
  facet normal -0.601853 0.437272 0.668255
    outer loop
      vertex -7.185467 6.469824 7.743000
      vertex -8.494843 4.904500 7.588000
      vertex -8.373600 4.834500 7.743000
    endloop
  endfacet
  facet normal -0.679616 0.302584 0.668255
    outer loop
      vertex -8.494843 4.904500 7.588000
      vertex -9.328913 3.031148 7.588000
      vertex -8.373600 4.834500 7.743000
    endloop
  endfacet
  facet normal -0.679614 0.302583 0.668258
    outer loop
      vertex -8.373600 4.834500 7.743000
      vertex -9.328913 3.031148 7.588000
      vertex -9.195765 2.987885 7.743000
    endloop
  endfacet
  facet normal -0.727674 0.154672 0.668257
    outer loop
      vertex -9.328913 3.031148 7.588000
      vertex -9.755265 1.025320 7.588000
      vertex -9.195765 2.987885 7.743000
    endloop
  endfacet
  facet normal -0.727674 0.154672 0.668256
    outer loop
      vertex -9.195765 2.987885 7.743000
      vertex -9.755265 1.025320 7.588000
      vertex -9.616032 1.010686 7.743000
    endloop
  endfacet
  facet normal -0.743931 0.000000 0.668256
    outer loop
      vertex -9.755265 -1.025320 7.588000
      vertex -9.616032 -1.010686 7.743000
      vertex -9.755265 1.025320 7.588000
    endloop
  endfacet
  facet normal -0.743931 0.000000 0.668256
    outer loop
      vertex -9.755265 1.025320 7.588000
      vertex -9.616032 -1.010686 7.743000
      vertex -9.616032 1.010686 7.743000
    endloop
  endfacet
  facet normal -0.727674 -0.154672 0.668256
    outer loop
      vertex -9.616032 -1.010686 7.743000
      vertex -9.755265 -1.025320 7.588000
      vertex -9.328913 -3.031148 7.588000
    endloop
  endfacet
  facet normal -0.727674 -0.154672 0.668257
    outer loop
      vertex -9.195765 -2.987885 7.743000
      vertex -9.616032 -1.010686 7.743000
      vertex -9.328913 -3.031148 7.588000
    endloop
  endfacet
  facet normal -0.679614 -0.302584 0.668257
    outer loop
      vertex -9.195765 -2.987885 7.743000
      vertex -9.328913 -3.031148 7.588000
      vertex -8.494843 -4.904500 7.588000
    endloop
  endfacet
  facet normal -0.791296 -0.352308 0.499730
    outer loop
      vertex -8.494843 -4.904500 7.588000
      vertex -9.328913 -3.031148 7.588000
      vertex -8.585776 -4.957000 7.407000
    endloop
  endfacet
  facet normal -0.700756 -0.509129 0.499730
    outer loop
      vertex -8.494843 -4.904500 7.588000
      vertex -8.585776 -4.957000 7.407000
      vertex -7.367538 -6.633761 7.407000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -8.950697 0.940756 8.000000
      vertex -8.950697 -0.940756 8.000000
      vertex -8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.688303 -6.022175 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -7.794229 -4.500000 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.794229 -4.500000 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.290067 -7.281153 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -6.688303 -6.022175 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.660630 -8.221909 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -5.290067 -7.281153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -1.871205 -8.803328 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -3.660630 -8.221909 8.000000
    endloop
  endfacet
  facet normal -0.000000 -0.000000 1.000000
    outer loop
      vertex -5.352037 -3.530000 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 4.949747 3.959798 8.000000
      vertex 4.013693 2.622578 8.000000
      vertex 7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 6.300000 0.700000 8.000000
      vertex 6.300000 -0.700000 8.000000
      vertex 8.950697 -0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 3.959798 4.949747 8.000000
      vertex 7.794229 4.500000 8.000000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -4.013693 2.622578 8.000000
      vertex -4.949747 3.959798 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.983667 4.692552 8.000000
      vertex 3.959798 4.949747 8.000000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.983667 4.692552 8.000000
      vertex -0.700000 6.300000 8.000000
      vertex -3.959798 4.949747 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.983667 -4.692552 8.000000
      vertex 3.660630 -8.221909 8.000000
      vertex 5.290067 -7.281153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.700000 6.300000 8.000000
      vertex 0.700000 6.300000 8.000000
      vertex 3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -1.871205 8.803328 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex 0.000000 9.000000 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -3.660630 8.221909 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -1.871205 8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -5.290067 7.281153 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -6.688303 6.022175 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -5.290067 7.281153 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -7.794229 4.500000 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -8.559509 2.781153 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.262817 -2.021139 8.000000
      vertex -4.692552 -0.983667 8.000000
      vertex -6.300000 -0.700000 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 4.692552 -0.983667 8.000000
      vertex 4.013693 -2.622578 8.000000
      vertex 8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 4.949747 -3.959798 8.000000
      vertex 3.959798 -4.949747 8.000000
      vertex 6.688303 -6.022175 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 3.959798 4.949747 8.000000
      vertex 4.949747 3.959798 8.000000
      vertex 7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 0.983667 -4.692552 8.000000
      vertex 0.700000 -6.300000 8.000000
      vertex 3.660630 -8.221909 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.700000 6.300000 8.000000
      vertex 0.983667 4.692552 8.000000
      vertex 5.290067 7.281153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 9.000000 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -4.949747 3.959798 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 0.000000 9.000000 8.000000
      vertex -3.959798 4.949747 8.000000
      vertex 1.871205 8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 9.000000 8.000000
      vertex -4.949747 3.959798 8.000000
      vertex -3.959798 4.949747 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.983667 4.692552 8.000000
      vertex 2.622578 4.013693 8.000000
      vertex 3.959798 4.949747 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.700000 6.300000 8.000000
      vertex 5.290067 7.281153 8.000000
      vertex 3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 1.871205 8.803328 8.000000
      vertex -0.700000 6.300000 8.000000
      vertex 3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.959798 4.949747 8.000000
      vertex -0.700000 6.300000 8.000000
      vertex 1.871205 8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 5.290067 7.281153 8.000000
      vertex 0.983667 4.692552 8.000000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.013693 2.622578 8.000000
      vertex 4.692552 0.983667 8.000000
      vertex 8.559509 2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.692552 0.983667 8.000000
      vertex 6.300000 0.700000 8.000000
      vertex 8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -0.983667 4.692552 8.000000
      vertex -3.959798 4.949747 8.000000
      vertex -2.622578 4.013693 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 7.794229 4.500000 8.000000
      vertex 4.013693 2.622578 8.000000
      vertex 8.559509 2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 8.559509 2.781153 8.000000
      vertex 4.692552 0.983667 8.000000
      vertex 8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 8.950697 0.940756 8.000000
      vertex 6.300000 0.700000 8.000000
      vertex 8.950697 -0.940756 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 8.950697 -0.940756 8.000000
      vertex 6.300000 -0.700000 8.000000
      vertex 8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.300000 0.700000 8.000000
      vertex -4.692552 0.983667 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 6.300000 -0.700000 8.000000
      vertex 4.692552 -0.983667 8.000000
      vertex 8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 8.559509 -2.781153 8.000000
      vertex 4.013693 -2.622578 8.000000
      vertex 7.794229 -4.500000 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 7.794229 -4.500000 8.000000
      vertex 4.949747 -3.959798 8.000000
      vertex 6.688303 -6.022175 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 6.688303 -6.022175 8.000000
      vertex 3.959798 -4.949747 8.000000
      vertex 5.290067 -7.281153 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -4.692552 0.983667 8.000000
      vertex -4.013693 2.622578 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal -0.000000 -0.000000 1.000000
    outer loop
      vertex 3.959798 -4.949747 8.000000
      vertex 0.983667 -4.692552 8.000000
      vertex 5.290067 -7.281153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.013693 -2.622578 8.000000
      vertex 4.949747 -3.959798 8.000000
      vertex 7.794229 -4.500000 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 3.660630 -8.221909 8.000000
      vertex 0.700000 -6.300000 8.000000
      vertex 1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 0.700000 -6.300000 8.000000
      vertex -0.700000 -6.300000 8.000000
      vertex 1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.733088 -2.870000 8.000000
      vertex -6.300000 -0.700000 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.700000 -6.300000 8.000000
      vertex -0.983667 -4.692552 8.000000
      vertex -2.622578 -4.013693 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.622578 -4.013693 8.000000
      vertex 0.000000 -9.000000 8.000000
      vertex -0.700000 -6.300000 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.700000 -6.300000 8.000000
      vertex 0.000000 -9.000000 8.000000
      vertex 1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 -9.000000 8.000000
      vertex -3.959798 -4.949747 8.000000
      vertex -1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal -0.000000 -0.000000 1.000000
    outer loop
      vertex -3.959798 -4.949747 8.000000
      vertex -4.949747 -3.959798 8.000000
      vertex -1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.733088 -2.870000 8.000000
      vertex -4.262817 -2.021139 8.000000
      vertex -6.300000 -0.700000 8.000000
    endloop
  endfacet
  facet normal -0.000000 -0.000000 1.000000
    outer loop
      vertex -4.949747 -3.959798 8.000000
      vertex -5.352037 -3.530000 8.000000
      vertex -1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.171970 -2.848688 8.000000
      vertex -5.352037 -3.530000 8.000000
      vertex -4.949747 -3.959798 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -2.622578 -4.013693 8.000000
      vertex -3.959798 -4.949747 8.000000
      vertex 0.000000 -9.000000 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.352037 -3.530000 8.000000
      vertex -5.733088 -2.870000 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 2.622578 -4.013693 8.000000
      vertex 0.983667 -4.692552 8.000000
      vertex 3.959798 -4.949747 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.300000 -0.700000 8.000000
      vertex -6.300000 0.700000 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.250000 -0.433013 -0.866025
    outer loop
      vertex -3.117692 -1.800000 8.220000
      vertex -4.115737 -2.376222 8.220000
      vertex -4.945005 1.365000 6.110000
    endloop
  endfacet
  facet normal 0.250000 -0.433013 -0.866025
    outer loop
      vertex -4.945005 1.365000 6.110000
      vertex -4.115737 -2.376222 8.220000
      vertex -4.262817 -2.021139 8.000000
    endloop
  endfacet
  facet normal 0.250000 -0.433013 -0.866025
    outer loop
      vertex -4.945005 1.365000 6.110000
      vertex -4.262817 -2.021139 8.000000
      vertex -5.733088 -2.870000 8.000000
    endloop
  endfacet
  facet normal 0.250000 -0.433013 -0.866025
    outer loop
      vertex -4.945005 1.365000 6.110000
      vertex -5.733088 -2.870000 8.000000
      vertex -7.369876 -0.035000 6.110000
    endloop
  endfacet
  facet normal -0.250000 0.433013 -0.866025
    outer loop
      vertex -4.013693 -2.622578 8.067364
      vertex -4.115737 -2.376222 8.220000
      vertex -3.117692 -1.800000 8.220000
    endloop
  endfacet
  facet normal -0.250000 0.433013 -0.866025
    outer loop
      vertex -4.013693 -2.622578 8.067364
      vertex -3.117692 -1.800000 8.220000
      vertex -4.171970 -2.848688 8.000000
    endloop
  endfacet
  facet normal -0.250000 0.433013 -0.866025
    outer loop
      vertex -3.117692 -1.800000 8.220000
      vertex -1.290378 -4.965000 6.110000
      vertex -4.171970 -2.848688 8.000000
    endloop
  endfacet
  facet normal -0.250000 0.433013 -0.866025
    outer loop
      vertex -1.290378 -4.965000 6.110000
      vertex -3.715249 -6.365000 6.110000
      vertex -4.171970 -2.848688 8.000000
    endloop
  endfacet
  facet normal -0.250000 0.433013 -0.866025
    outer loop
      vertex -3.715249 -6.365000 6.110000
      vertex -5.352037 -3.530000 8.000000
      vertex -4.171970 -2.848688 8.000000
    endloop
  endfacet
  facet normal -0.700756 -0.509129 0.499729
    outer loop
      vertex -7.289508 -6.563502 7.588000
      vertex -8.494843 -4.904500 7.588000
      vertex -7.367538 -6.633761 7.407000
    endloop
  endfacet
  facet normal -0.579589 -0.643699 0.499729
    outer loop
      vertex -7.289508 -6.563502 7.588000
      vertex -7.367538 -6.633761 7.407000
      vertex -5.827303 -8.020594 7.407000
    endloop
  endfacet
  facet normal -0.579590 -0.643700 0.499725
    outer loop
      vertex -5.765586 -7.935648 7.588000
      vertex -7.289508 -6.563502 7.588000
      vertex -5.827303 -8.020594 7.407000
    endloop
  endfacet
  facet normal -0.433092 -0.750137 0.499725
    outer loop
      vertex -5.765586 -7.935648 7.588000
      vertex -5.827303 -8.020594 7.407000
      vertex -4.032387 -9.056890 7.407000
    endloop
  endfacet
  facet normal -0.433090 -0.750135 0.499730
    outer loop
      vertex -3.989680 -8.960967 7.588000
      vertex -5.765586 -7.935648 7.588000
      vertex -4.032387 -9.056890 7.407000
    endloop
  endfacet
  facet normal -0.267664 -0.823787 0.499731
    outer loop
      vertex -3.989680 -8.960967 7.588000
      vertex -4.032387 -9.056890 7.407000
      vertex -2.061237 -9.697355 7.407000
    endloop
  endfacet
  facet normal -0.267665 -0.823789 0.499727
    outer loop
      vertex -2.039406 -9.594650 7.588000
      vertex -3.989680 -8.960967 7.588000
      vertex -2.061237 -9.697355 7.407000
    endloop
  endfacet
  facet normal -0.090541 -0.861438 0.499727
    outer loop
      vertex -2.039406 -9.594650 7.588000
      vertex -2.061237 -9.697355 7.407000
      vertex 0.000000 -9.914000 7.407000
    endloop
  endfacet
  facet normal -0.090541 -0.861437 0.499729
    outer loop
      vertex 0.000000 -9.809000 7.588000
      vertex -2.039406 -9.594650 7.588000
      vertex 0.000000 -9.914000 7.407000
    endloop
  endfacet
  facet normal 0.090541 -0.861437 0.499729
    outer loop
      vertex 0.000000 -9.809000 7.588000
      vertex 0.000000 -9.914000 7.407000
      vertex 2.061237 -9.697355 7.407000
    endloop
  endfacet
  facet normal 0.090541 -0.861438 0.499727
    outer loop
      vertex 2.039406 -9.594650 7.588000
      vertex 0.000000 -9.809000 7.588000
      vertex 2.061237 -9.697355 7.407000
    endloop
  endfacet
  facet normal 0.267665 -0.823789 0.499727
    outer loop
      vertex 4.032387 -9.056890 7.407000
      vertex 2.039406 -9.594650 7.588000
      vertex 2.061237 -9.697355 7.407000
    endloop
  endfacet
  facet normal 0.267665 -0.823787 0.499731
    outer loop
      vertex 3.989680 -8.960967 7.588000
      vertex 2.039406 -9.594650 7.588000
      vertex 4.032387 -9.056890 7.407000
    endloop
  endfacet
  facet normal 0.433091 -0.750135 0.499730
    outer loop
      vertex 5.827303 -8.020594 7.407000
      vertex 3.989680 -8.960967 7.588000
      vertex 4.032387 -9.056890 7.407000
    endloop
  endfacet
  facet normal 0.433092 -0.750137 0.499725
    outer loop
      vertex 5.765586 -7.935648 7.588000
      vertex 3.989680 -8.960967 7.588000
      vertex 5.827303 -8.020594 7.407000
    endloop
  endfacet
  facet normal 0.579590 -0.643700 0.499725
    outer loop
      vertex 7.367538 -6.633761 7.407000
      vertex 5.765586 -7.935648 7.588000
      vertex 5.827303 -8.020594 7.407000
    endloop
  endfacet
  facet normal 0.579589 -0.643698 0.499729
    outer loop
      vertex 7.289508 -6.563502 7.588000
      vertex 5.765586 -7.935648 7.588000
      vertex 7.367538 -6.633761 7.407000
    endloop
  endfacet
  facet normal 0.700756 -0.509129 0.499729
    outer loop
      vertex 8.585776 -4.957000 7.407000
      vertex 7.289508 -6.563502 7.588000
      vertex 7.367538 -6.633761 7.407000
    endloop
  endfacet
  facet normal 0.700756 -0.509129 0.499730
    outer loop
      vertex 8.494843 -4.904500 7.588000
      vertex 7.289508 -6.563502 7.588000
      vertex 8.585776 -4.957000 7.407000
    endloop
  endfacet
  facet normal 0.791296 -0.352307 0.499730
    outer loop
      vertex 9.428774 -3.063594 7.407000
      vertex 8.494843 -4.904500 7.588000
      vertex 8.585776 -4.957000 7.407000
    endloop
  endfacet
  facet normal 0.791297 -0.352308 0.499728
    outer loop
      vertex 9.328913 -3.031148 7.588000
      vertex 8.494843 -4.904500 7.588000
      vertex 9.428774 -3.063594 7.407000
    endloop
  endfacet
  facet normal 0.847254 -0.180090 0.499728
    outer loop
      vertex 9.859690 -1.036295 7.407000
      vertex 9.328913 -3.031148 7.588000
      vertex 9.428774 -3.063594 7.407000
    endloop
  endfacet
  facet normal 0.847254 -0.180089 0.499729
    outer loop
      vertex 9.755265 -1.025320 7.588000
      vertex 9.328913 -3.031148 7.588000
      vertex 9.859690 -1.036295 7.407000
    endloop
  endfacet
  facet normal 0.866182 -0.000000 0.499729
    outer loop
      vertex 9.755265 1.025320 7.588000
      vertex 9.755265 -1.025320 7.588000
      vertex 9.859690 -1.036295 7.407000
    endloop
  endfacet
  facet normal 0.866182 -0.000000 0.499729
    outer loop
      vertex 9.859690 1.036295 7.407000
      vertex 9.755265 1.025320 7.588000
      vertex 9.859690 -1.036295 7.407000
    endloop
  endfacet
  facet normal 0.847254 0.180089 0.499729
    outer loop
      vertex 9.859690 1.036295 7.407000
      vertex 9.428774 3.063594 7.407000
      vertex 9.755265 1.025320 7.588000
    endloop
  endfacet
  facet normal 0.847254 0.180089 0.499728
    outer loop
      vertex 9.428774 3.063594 7.407000
      vertex 9.328913 3.031148 7.588000
      vertex 9.755265 1.025320 7.588000
    endloop
  endfacet
  facet normal 0.791297 0.352308 0.499728
    outer loop
      vertex 9.428774 3.063594 7.407000
      vertex 8.585776 4.957000 7.407000
      vertex 9.328913 3.031148 7.588000
    endloop
  endfacet
  facet normal 0.791296 0.352308 0.499730
    outer loop
      vertex 8.585776 4.957000 7.407000
      vertex 8.494843 4.904500 7.588000
      vertex 9.328913 3.031148 7.588000
    endloop
  endfacet
  facet normal 0.700756 0.509129 0.499730
    outer loop
      vertex 8.585776 4.957000 7.407000
      vertex 7.367538 6.633761 7.407000
      vertex 8.494843 4.904500 7.588000
    endloop
  endfacet
  facet normal 0.700756 0.509129 0.499729
    outer loop
      vertex 7.367538 6.633761 7.407000
      vertex 7.289508 6.563502 7.588000
      vertex 8.494843 4.904500 7.588000
    endloop
  endfacet
  facet normal 0.579589 0.643699 0.499729
    outer loop
      vertex 7.367538 6.633761 7.407000
      vertex 5.827303 8.020594 7.407000
      vertex 7.289508 6.563502 7.588000
    endloop
  endfacet
  facet normal 0.579590 0.643700 0.499725
    outer loop
      vertex 5.827303 8.020594 7.407000
      vertex 5.765586 7.935648 7.588000
      vertex 7.289508 6.563502 7.588000
    endloop
  endfacet
  facet normal 0.433092 0.750137 0.499725
    outer loop
      vertex 5.827303 8.020594 7.407000
      vertex 4.032387 9.056890 7.407000
      vertex 5.765586 7.935648 7.588000
    endloop
  endfacet
  facet normal 0.433090 0.750135 0.499730
    outer loop
      vertex 4.032387 9.056890 7.407000
      vertex 3.989680 8.960967 7.588000
      vertex 5.765586 7.935648 7.588000
    endloop
  endfacet
  facet normal 0.267664 0.823787 0.499731
    outer loop
      vertex 4.032387 9.056890 7.407000
      vertex 2.061237 9.697355 7.407000
      vertex 3.989680 8.960967 7.588000
    endloop
  endfacet
  facet normal 0.267665 0.823789 0.499727
    outer loop
      vertex 2.061237 9.697355 7.407000
      vertex 2.039406 9.594650 7.588000
      vertex 3.989680 8.960967 7.588000
    endloop
  endfacet
  facet normal 0.090541 0.861438 0.499727
    outer loop
      vertex 2.061237 9.697355 7.407000
      vertex 0.000000 9.914000 7.407000
      vertex 2.039406 9.594650 7.588000
    endloop
  endfacet
  facet normal 0.090541 0.861437 0.499729
    outer loop
      vertex 0.000000 9.914000 7.407000
      vertex 0.000000 9.809000 7.588000
      vertex 2.039406 9.594650 7.588000
    endloop
  endfacet
  facet normal -0.090541 0.861437 0.499729
    outer loop
      vertex 0.000000 9.914000 7.407000
      vertex -2.061237 9.697355 7.407000
      vertex 0.000000 9.809000 7.588000
    endloop
  endfacet
  facet normal -0.090541 0.861438 0.499727
    outer loop
      vertex 0.000000 9.809000 7.588000
      vertex -2.061237 9.697355 7.407000
      vertex -2.039406 9.594650 7.588000
    endloop
  endfacet
  facet normal -0.267665 0.823789 0.499727
    outer loop
      vertex -2.061237 9.697355 7.407000
      vertex -4.032387 9.056890 7.407000
      vertex -2.039406 9.594650 7.588000
    endloop
  endfacet
  facet normal -0.267665 0.823787 0.499731
    outer loop
      vertex -2.039406 9.594650 7.588000
      vertex -4.032387 9.056890 7.407000
      vertex -3.989680 8.960967 7.588000
    endloop
  endfacet
  facet normal -0.433091 0.750135 0.499730
    outer loop
      vertex -4.032387 9.056890 7.407000
      vertex -5.827303 8.020594 7.407000
      vertex -3.989680 8.960967 7.588000
    endloop
  endfacet
  facet normal -0.433092 0.750137 0.499725
    outer loop
      vertex -3.989680 8.960967 7.588000
      vertex -5.827303 8.020594 7.407000
      vertex -5.765586 7.935648 7.588000
    endloop
  endfacet
  facet normal -0.371966 0.644264 0.668256
    outer loop
      vertex -3.989680 8.960967 7.588000
      vertex -5.765586 7.935648 7.588000
      vertex -3.932737 8.833071 7.743000
    endloop
  endfacet
  facet normal -0.371965 0.644262 0.668258
    outer loop
      vertex -3.932737 8.833071 7.743000
      vertex -5.765586 7.935648 7.588000
      vertex -5.683296 7.822385 7.743000
    endloop
  endfacet
  facet normal -0.295284 0.511448 0.806987
    outer loop
      vertex -3.932737 8.833071 7.743000
      vertex -5.683296 7.822385 7.743000
      vertex -3.863998 8.678682 7.866000
    endloop
  endfacet
  facet normal -0.295284 0.511447 0.806988
    outer loop
      vertex -3.863998 8.678682 7.866000
      vertex -5.683296 7.822385 7.743000
      vertex -5.583960 7.685661 7.866000
    endloop
  endfacet
  facet normal -0.395167 0.438878 0.806988
    outer loop
      vertex -5.683296 7.822385 7.743000
      vertex -7.185467 6.469824 7.743000
      vertex -5.583960 7.685661 7.866000
    endloop
  endfacet
  facet normal -0.395168 0.438879 0.806986
    outer loop
      vertex -5.583960 7.685661 7.866000
      vertex -7.185467 6.469824 7.743000
      vertex -7.059876 6.356741 7.866000
    endloop
  endfacet
  facet normal -0.477781 0.347128 0.806986
    outer loop
      vertex -7.185467 6.469824 7.743000
      vertex -8.373600 4.834500 7.743000
      vertex -7.059876 6.356741 7.866000
    endloop
  endfacet
  facet normal -0.477779 0.347127 0.806988
    outer loop
      vertex -7.059876 6.356741 7.866000
      vertex -8.373600 4.834500 7.743000
      vertex -8.227241 4.750000 7.866000
    endloop
  endfacet
  facet normal -0.539510 0.240205 0.806988
    outer loop
      vertex -8.373600 4.834500 7.743000
      vertex -9.195765 2.987885 7.743000
      vertex -8.227241 4.750000 7.866000
    endloop
  endfacet
  facet normal -0.539513 0.240207 0.806986
    outer loop
      vertex -8.227241 4.750000 7.866000
      vertex -9.195765 2.987885 7.743000
      vertex -9.035037 2.935661 7.866000
    endloop
  endfacet
  facet normal -0.577665 0.122787 0.806986
    outer loop
      vertex -9.195765 2.987885 7.743000
      vertex -9.616032 1.010686 7.743000
      vertex -9.035037 2.935661 7.866000
    endloop
  endfacet
  facet normal -0.577664 0.122786 0.806987
    outer loop
      vertex -9.035037 2.935661 7.866000
      vertex -9.616032 1.010686 7.743000
      vertex -9.447958 0.993020 7.866000
    endloop
  endfacet
  facet normal -0.590569 0.000000 0.806987
    outer loop
      vertex -9.616032 1.010686 7.743000
      vertex -9.616032 -1.010686 7.743000
      vertex -9.447958 -0.993020 7.866000
    endloop
  endfacet
  facet normal -0.590569 0.000000 0.806987
    outer loop
      vertex -9.447958 0.993020 7.866000
      vertex -9.616032 1.010686 7.743000
      vertex -9.447958 -0.993020 7.866000
    endloop
  endfacet
  facet normal -0.577664 -0.122786 0.806987
    outer loop
      vertex -9.447958 -0.993020 7.866000
      vertex -9.616032 -1.010686 7.743000
      vertex -9.195765 -2.987885 7.743000
    endloop
  endfacet
  facet normal -0.577665 -0.122786 0.806986
    outer loop
      vertex -9.035037 -2.935661 7.866000
      vertex -9.447958 -0.993020 7.866000
      vertex -9.195765 -2.987885 7.743000
    endloop
  endfacet
  facet normal -0.539513 -0.240206 0.806986
    outer loop
      vertex -9.035037 -2.935661 7.866000
      vertex -9.195765 -2.987885 7.743000
      vertex -8.373600 -4.834500 7.743000
    endloop
  endfacet
  facet normal -0.679616 -0.302584 0.668255
    outer loop
      vertex -8.373600 -4.834500 7.743000
      vertex -9.195765 -2.987885 7.743000
      vertex -8.494843 -4.904500 7.588000
    endloop
  endfacet
  facet normal -0.601854 -0.437272 0.668255
    outer loop
      vertex -8.373600 -4.834500 7.743000
      vertex -8.494843 -4.904500 7.588000
      vertex -7.289508 -6.563502 7.588000
    endloop
  endfacet
  facet normal -0.978148 0.207911 0.000000
    outer loop
      vertex -8.950697 0.940756 7.995000
      vertex -8.950697 0.940756 8.000000
      vertex -8.559509 2.781153 7.995000
    endloop
  endfacet
  facet normal -0.978148 0.207911 0.000000
    outer loop
      vertex -8.559509 2.781153 7.995000
      vertex -8.950697 0.940756 8.000000
      vertex -8.559509 2.781153 8.000000
    endloop
  endfacet
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -8.950697 -0.940756 7.995000
      vertex -8.950697 -0.940756 8.000000
      vertex -8.950697 0.940756 7.995000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -8.950697 0.940756 7.995000
      vertex -8.950697 -0.940756 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal -0.913545 0.406737 0.000000
    outer loop
      vertex -8.559509 2.781153 7.995000
      vertex -8.559509 2.781153 8.000000
      vertex -7.794229 4.500000 7.995000
    endloop
  endfacet
  facet normal -0.913545 0.406737 0.000000
    outer loop
      vertex -7.794229 4.500000 7.995000
      vertex -8.559509 2.781153 8.000000
      vertex -7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal -0.809017 0.587786 0.000000
    outer loop
      vertex -7.794229 4.500000 7.995000
      vertex -7.794229 4.500000 8.000000
      vertex -6.688303 6.022175 7.995000
    endloop
  endfacet
  facet normal -0.809017 0.587786 0.000000
    outer loop
      vertex -6.688303 6.022175 7.995000
      vertex -7.794229 4.500000 8.000000
      vertex -6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal -0.669131 0.743145 0.000000
    outer loop
      vertex -6.688303 6.022175 7.995000
      vertex -6.688303 6.022175 8.000000
      vertex -5.290067 7.281153 7.995000
    endloop
  endfacet
  facet normal -0.669131 0.743145 0.000000
    outer loop
      vertex -5.290067 7.281153 7.995000
      vertex -6.688303 6.022175 8.000000
      vertex -5.290067 7.281153 8.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -5.290067 7.281153 7.995000
      vertex -5.290067 7.281153 8.000000
      vertex -3.660630 8.221909 7.995000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -3.660630 8.221909 7.995000
      vertex -5.290067 7.281153 8.000000
      vertex -3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal -0.309017 0.951057 0.000000
    outer loop
      vertex -3.660630 8.221909 7.995000
      vertex -3.660630 8.221909 8.000000
      vertex -1.871205 8.803328 7.995000
    endloop
  endfacet
  facet normal -0.309017 0.951057 0.000000
    outer loop
      vertex -1.871205 8.803328 7.995000
      vertex -3.660630 8.221909 8.000000
      vertex -1.871205 8.803328 8.000000
    endloop
  endfacet
  facet normal -0.104529 0.994522 0.000000
    outer loop
      vertex -1.871205 8.803328 7.995000
      vertex -1.871205 8.803328 8.000000
      vertex 0.000000 9.000000 7.995000
    endloop
  endfacet
  facet normal -0.104529 0.994522 0.000000
    outer loop
      vertex 0.000000 9.000000 7.995000
      vertex -1.871205 8.803328 8.000000
      vertex 0.000000 9.000000 8.000000
    endloop
  endfacet
  facet normal 0.104529 0.994522 0.000000
    outer loop
      vertex 0.000000 9.000000 7.995000
      vertex 0.000000 9.000000 8.000000
      vertex 1.871205 8.803328 7.995000
    endloop
  endfacet
  facet normal 0.104529 0.994522 0.000000
    outer loop
      vertex 1.871205 8.803328 7.995000
      vertex 0.000000 9.000000 8.000000
      vertex 1.871205 8.803328 8.000000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex 1.871205 8.803328 7.995000
      vertex 1.871205 8.803328 8.000000
      vertex 3.660630 8.221909 7.995000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex 3.660630 8.221909 7.995000
      vertex 1.871205 8.803328 8.000000
      vertex 3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal 0.500000 0.866025 0.000000
    outer loop
      vertex 3.660630 8.221909 7.995000
      vertex 3.660630 8.221909 8.000000
      vertex 5.290067 7.281153 7.995000
    endloop
  endfacet
  facet normal 0.500000 0.866025 0.000000
    outer loop
      vertex 5.290067 7.281153 7.995000
      vertex 3.660630 8.221909 8.000000
      vertex 5.290067 7.281153 8.000000
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex 5.290067 7.281153 7.995000
      vertex 5.290067 7.281153 8.000000
      vertex 6.688303 6.022175 7.995000
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex 6.688303 6.022175 7.995000
      vertex 5.290067 7.281153 8.000000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.809017 0.587786 0.000000
    outer loop
      vertex 7.794229 4.500000 7.995000
      vertex 6.688303 6.022175 7.995000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.809017 0.587786 -0.000000
    outer loop
      vertex 7.794229 4.500000 8.000000
      vertex 7.794229 4.500000 7.995000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.913545 0.406737 0.000000
    outer loop
      vertex 8.559509 2.781153 7.995000
      vertex 7.794229 4.500000 7.995000
      vertex 7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal 0.913545 0.406737 -0.000000
    outer loop
      vertex 8.559509 2.781153 8.000000
      vertex 8.559509 2.781153 7.995000
      vertex 7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal 0.978148 0.207911 0.000000
    outer loop
      vertex 8.950697 0.940756 7.995000
      vertex 8.559509 2.781153 7.995000
      vertex 8.559509 2.781153 8.000000
    endloop
  endfacet
  facet normal 0.978148 0.207911 -0.000000
    outer loop
      vertex 8.950697 0.940756 8.000000
      vertex 8.950697 0.940756 7.995000
      vertex 8.559509 2.781153 8.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 -0.000000
    outer loop
      vertex 8.950697 -0.940756 8.000000
      vertex 8.950697 -0.940756 7.995000
      vertex 8.950697 0.940756 7.995000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 8.950697 0.940756 8.000000
      vertex 8.950697 -0.940756 8.000000
      vertex 8.950697 0.940756 7.995000
    endloop
  endfacet
  facet normal 0.978148 -0.207911 0.000000
    outer loop
      vertex 8.559509 -2.781153 8.000000
      vertex 8.559509 -2.781153 7.995000
      vertex 8.950697 -0.940756 7.995000
    endloop
  endfacet
  facet normal 0.978148 -0.207911 0.000000
    outer loop
      vertex 8.950697 -0.940756 8.000000
      vertex 8.559509 -2.781153 8.000000
      vertex 8.950697 -0.940756 7.995000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex 7.794229 -4.500000 8.000000
      vertex 7.794229 -4.500000 7.995000
      vertex 8.559509 -2.781153 7.995000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex 8.559509 -2.781153 8.000000
      vertex 7.794229 -4.500000 8.000000
      vertex 8.559509 -2.781153 7.995000
    endloop
  endfacet
  facet normal 0.809017 -0.587786 0.000000
    outer loop
      vertex 6.688303 -6.022175 8.000000
      vertex 6.688303 -6.022175 7.995000
      vertex 7.794229 -4.500000 7.995000
    endloop
  endfacet
  facet normal 0.809017 -0.587786 0.000000
    outer loop
      vertex 7.794229 -4.500000 8.000000
      vertex 6.688303 -6.022175 8.000000
      vertex 7.794229 -4.500000 7.995000
    endloop
  endfacet
  facet normal 0.669131 -0.743145 0.000000
    outer loop
      vertex 5.290067 -7.281153 8.000000
      vertex 5.290067 -7.281153 7.995000
      vertex 6.688303 -6.022175 7.995000
    endloop
  endfacet
  facet normal 0.669131 -0.743145 0.000000
    outer loop
      vertex 6.688303 -6.022175 8.000000
      vertex 5.290067 -7.281153 8.000000
      vertex 6.688303 -6.022175 7.995000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex 3.660630 -8.221909 8.000000
      vertex 3.660630 -8.221909 7.995000
      vertex 5.290067 -7.281153 7.995000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex 5.290067 -7.281153 8.000000
      vertex 3.660630 -8.221909 8.000000
      vertex 5.290067 -7.281153 7.995000
    endloop
  endfacet
  facet normal 0.309017 -0.951057 0.000000
    outer loop
      vertex 1.871205 -8.803328 8.000000
      vertex 1.871205 -8.803328 7.995000
      vertex 3.660630 -8.221909 7.995000
    endloop
  endfacet
  facet normal 0.309017 -0.951057 0.000000
    outer loop
      vertex 3.660630 -8.221909 8.000000
      vertex 1.871205 -8.803328 8.000000
      vertex 3.660630 -8.221909 7.995000
    endloop
  endfacet
  facet normal 0.104529 -0.994522 0.000000
    outer loop
      vertex 0.000000 -9.000000 8.000000
      vertex 0.000000 -9.000000 7.995000
      vertex 1.871205 -8.803328 7.995000
    endloop
  endfacet
  facet normal 0.104529 -0.994522 0.000000
    outer loop
      vertex 1.871205 -8.803328 8.000000
      vertex 0.000000 -9.000000 8.000000
      vertex 1.871205 -8.803328 7.995000
    endloop
  endfacet
  facet normal -0.104529 -0.994522 0.000000
    outer loop
      vertex -1.871205 -8.803328 8.000000
      vertex -1.871205 -8.803328 7.995000
      vertex 0.000000 -9.000000 7.995000
    endloop
  endfacet
  facet normal -0.104529 -0.994522 0.000000
    outer loop
      vertex 0.000000 -9.000000 8.000000
      vertex -1.871205 -8.803328 8.000000
      vertex 0.000000 -9.000000 7.995000
    endloop
  endfacet
  facet normal -0.309017 -0.951057 0.000000
    outer loop
      vertex -3.660630 -8.221909 8.000000
      vertex -3.660630 -8.221909 7.995000
      vertex -1.871205 -8.803328 7.995000
    endloop
  endfacet
  facet normal -0.309017 -0.951057 0.000000
    outer loop
      vertex -1.871205 -8.803328 8.000000
      vertex -3.660630 -8.221909 8.000000
      vertex -1.871205 -8.803328 7.995000
    endloop
  endfacet
  facet normal -0.500000 -0.866025 0.000000
    outer loop
      vertex -5.290067 -7.281153 8.000000
      vertex -5.290067 -7.281153 7.995000
      vertex -3.660630 -8.221909 7.995000
    endloop
  endfacet
  facet normal -0.500000 -0.866025 0.000000
    outer loop
      vertex -3.660630 -8.221909 8.000000
      vertex -5.290067 -7.281153 8.000000
      vertex -3.660630 -8.221909 7.995000
    endloop
  endfacet
  facet normal -0.669131 -0.743145 0.000000
    outer loop
      vertex -6.688303 -6.022175 8.000000
      vertex -6.688303 -6.022175 7.995000
      vertex -5.290067 -7.281153 7.995000
    endloop
  endfacet
  facet normal -0.669131 -0.743145 0.000000
    outer loop
      vertex -5.290067 -7.281153 8.000000
      vertex -6.688303 -6.022175 8.000000
      vertex -5.290067 -7.281153 7.995000
    endloop
  endfacet
  facet normal -0.809017 -0.587786 -0.000000
    outer loop
      vertex -7.794229 -4.500000 7.995000
      vertex -6.688303 -6.022175 7.995000
      vertex -7.794229 -4.500000 8.000000
    endloop
  endfacet
  facet normal -0.809017 -0.587786 0.000000
    outer loop
      vertex -7.794229 -4.500000 8.000000
      vertex -6.688303 -6.022175 7.995000
      vertex -6.688303 -6.022175 8.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 -0.000000
    outer loop
      vertex -8.559509 -2.781153 7.995000
      vertex -7.794229 -4.500000 7.995000
      vertex -8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -8.559509 -2.781153 8.000000
      vertex -7.794229 -4.500000 7.995000
      vertex -7.794229 -4.500000 8.000000
    endloop
  endfacet
  facet normal -0.978148 -0.207911 -0.000000
    outer loop
      vertex -8.950697 -0.940756 7.995000
      vertex -8.559509 -2.781153 7.995000
      vertex -8.950697 -0.940756 8.000000
    endloop
  endfacet
  facet normal -0.978148 -0.207911 0.000000
    outer loop
      vertex -8.950697 -0.940756 8.000000
      vertex -8.559509 -2.781153 7.995000
      vertex -8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal -0.601852 -0.437271 0.668258
    outer loop
      vertex -7.185467 -6.469824 7.743000
      vertex -8.373600 -4.834500 7.743000
      vertex -7.289508 -6.563502 7.588000
    endloop
  endfacet
  facet normal -0.497787 -0.552848 0.668257
    outer loop
      vertex -7.185467 -6.469824 7.743000
      vertex -7.289508 -6.563502 7.588000
      vertex -5.765586 -7.935648 7.588000
    endloop
  endfacet
  facet normal -0.497786 -0.552847 0.668258
    outer loop
      vertex -5.683296 -7.822385 7.743000
      vertex -7.185467 -6.469824 7.743000
      vertex -5.765586 -7.935648 7.588000
    endloop
  endfacet
  facet normal -0.371965 -0.644262 0.668258
    outer loop
      vertex -5.683296 -7.822385 7.743000
      vertex -5.765586 -7.935648 7.588000
      vertex -3.989680 -8.960967 7.588000
    endloop
  endfacet
  facet normal -0.371966 -0.644264 0.668256
    outer loop
      vertex -3.932737 -8.833071 7.743000
      vertex -5.683296 -7.822385 7.743000
      vertex -3.989680 -8.960967 7.588000
    endloop
  endfacet
  facet normal -0.229888 -0.707521 0.668256
    outer loop
      vertex -3.932737 -8.833071 7.743000
      vertex -3.989680 -8.960967 7.588000
      vertex -2.039406 -9.594650 7.588000
    endloop
  endfacet
  facet normal -0.229887 -0.707519 0.668258
    outer loop
      vertex -2.010298 -9.457709 7.743000
      vertex -3.932737 -8.833071 7.743000
      vertex -2.039406 -9.594650 7.588000
    endloop
  endfacet
  facet normal -0.077762 -0.739855 0.668258
    outer loop
      vertex -2.010298 -9.457709 7.743000
      vertex -2.039406 -9.594650 7.588000
      vertex 0.000000 -9.809000 7.588000
    endloop
  endfacet
  facet normal -0.077762 -0.739856 0.668257
    outer loop
      vertex 0.000000 -9.669000 7.743000
      vertex -2.010298 -9.457709 7.743000
      vertex 0.000000 -9.809000 7.588000
    endloop
  endfacet
  facet normal 0.077762 -0.739856 0.668257
    outer loop
      vertex 0.000000 -9.669000 7.743000
      vertex 0.000000 -9.809000 7.588000
      vertex 2.039406 -9.594650 7.588000
    endloop
  endfacet
  facet normal 0.077762 -0.739855 0.668258
    outer loop
      vertex 2.010298 -9.457709 7.743000
      vertex 0.000000 -9.669000 7.743000
      vertex 2.039406 -9.594650 7.588000
    endloop
  endfacet
  facet normal 0.229887 -0.707519 0.668258
    outer loop
      vertex 3.989680 -8.960967 7.588000
      vertex 2.010298 -9.457709 7.743000
      vertex 2.039406 -9.594650 7.588000
    endloop
  endfacet
  facet normal 0.229887 -0.707521 0.668256
    outer loop
      vertex 3.932737 -8.833071 7.743000
      vertex 2.010298 -9.457709 7.743000
      vertex 3.989680 -8.960967 7.588000
    endloop
  endfacet
  facet normal 0.371966 -0.644264 0.668256
    outer loop
      vertex 5.765586 -7.935648 7.588000
      vertex 3.932737 -8.833071 7.743000
      vertex 3.989680 -8.960967 7.588000
    endloop
  endfacet
  facet normal 0.371965 -0.644262 0.668258
    outer loop
      vertex 5.683296 -7.822385 7.743000
      vertex 3.932737 -8.833071 7.743000
      vertex 5.765586 -7.935648 7.588000
    endloop
  endfacet
  facet normal 0.497786 -0.552847 0.668258
    outer loop
      vertex 7.289508 -6.563502 7.588000
      vertex 5.683296 -7.822385 7.743000
      vertex 5.765586 -7.935648 7.588000
    endloop
  endfacet
  facet normal 0.497786 -0.552848 0.668257
    outer loop
      vertex 7.185467 -6.469824 7.743000
      vertex 5.683296 -7.822385 7.743000
      vertex 7.289508 -6.563502 7.588000
    endloop
  endfacet
  facet normal 0.601852 -0.437271 0.668258
    outer loop
      vertex 8.494843 -4.904500 7.588000
      vertex 7.185467 -6.469824 7.743000
      vertex 7.289508 -6.563502 7.588000
    endloop
  endfacet
  facet normal 0.601853 -0.437272 0.668255
    outer loop
      vertex 8.373600 -4.834500 7.743000
      vertex 7.185467 -6.469824 7.743000
      vertex 8.494843 -4.904500 7.588000
    endloop
  endfacet
  facet normal 0.679616 -0.302584 0.668255
    outer loop
      vertex 9.328913 -3.031148 7.588000
      vertex 8.373600 -4.834500 7.743000
      vertex 8.494843 -4.904500 7.588000
    endloop
  endfacet
  facet normal 0.679614 -0.302583 0.668258
    outer loop
      vertex 9.195765 -2.987885 7.743000
      vertex 8.373600 -4.834500 7.743000
      vertex 9.328913 -3.031148 7.588000
    endloop
  endfacet
  facet normal 0.727674 -0.154672 0.668257
    outer loop
      vertex 9.755265 -1.025320 7.588000
      vertex 9.195765 -2.987885 7.743000
      vertex 9.328913 -3.031148 7.588000
    endloop
  endfacet
  facet normal 0.727674 -0.154672 0.668256
    outer loop
      vertex 9.616032 -1.010686 7.743000
      vertex 9.195765 -2.987885 7.743000
      vertex 9.755265 -1.025320 7.588000
    endloop
  endfacet
  facet normal 0.743931 -0.000000 0.668256
    outer loop
      vertex 9.616032 1.010686 7.743000
      vertex 9.616032 -1.010686 7.743000
      vertex 9.755265 -1.025320 7.588000
    endloop
  endfacet
  facet normal 0.743931 -0.000000 0.668256
    outer loop
      vertex 9.755265 1.025320 7.588000
      vertex 9.616032 1.010686 7.743000
      vertex 9.755265 -1.025320 7.588000
    endloop
  endfacet
  facet normal 0.727674 0.154672 0.668256
    outer loop
      vertex 9.755265 1.025320 7.588000
      vertex 9.328913 3.031148 7.588000
      vertex 9.616032 1.010686 7.743000
    endloop
  endfacet
  facet normal 0.727674 0.154672 0.668257
    outer loop
      vertex 9.328913 3.031148 7.588000
      vertex 9.195765 2.987885 7.743000
      vertex 9.616032 1.010686 7.743000
    endloop
  endfacet
  facet normal 0.679614 0.302584 0.668257
    outer loop
      vertex 9.328913 3.031148 7.588000
      vertex 8.494843 4.904500 7.588000
      vertex 9.195765 2.987885 7.743000
    endloop
  endfacet
  facet normal 0.679616 0.302584 0.668255
    outer loop
      vertex 8.494843 4.904500 7.588000
      vertex 8.373600 4.834500 7.743000
      vertex 9.195765 2.987885 7.743000
    endloop
  endfacet
  facet normal 0.601854 0.437272 0.668255
    outer loop
      vertex 8.494843 4.904500 7.588000
      vertex 7.289508 6.563502 7.588000
      vertex 8.373600 4.834500 7.743000
    endloop
  endfacet
  facet normal 0.601852 0.437271 0.668258
    outer loop
      vertex 7.289508 6.563502 7.588000
      vertex 7.185467 6.469824 7.743000
      vertex 8.373600 4.834500 7.743000
    endloop
  endfacet
  facet normal 0.497787 0.552848 0.668257
    outer loop
      vertex 7.289508 6.563502 7.588000
      vertex 5.765586 7.935648 7.588000
      vertex 7.185467 6.469824 7.743000
    endloop
  endfacet
  facet normal 0.497786 0.552847 0.668258
    outer loop
      vertex 5.765586 7.935648 7.588000
      vertex 5.683296 7.822385 7.743000
      vertex 7.185467 6.469824 7.743000
    endloop
  endfacet
  facet normal 0.371965 0.644262 0.668258
    outer loop
      vertex 5.765586 7.935648 7.588000
      vertex 3.989680 8.960967 7.588000
      vertex 5.683296 7.822385 7.743000
    endloop
  endfacet
  facet normal 0.371966 0.644264 0.668256
    outer loop
      vertex 3.989680 8.960967 7.588000
      vertex 3.932737 8.833071 7.743000
      vertex 5.683296 7.822385 7.743000
    endloop
  endfacet
  facet normal 0.229888 0.707521 0.668256
    outer loop
      vertex 3.989680 8.960967 7.588000
      vertex 2.039406 9.594650 7.588000
      vertex 3.932737 8.833071 7.743000
    endloop
  endfacet
  facet normal 0.229887 0.707519 0.668258
    outer loop
      vertex 2.039406 9.594650 7.588000
      vertex 2.010298 9.457709 7.743000
      vertex 3.932737 8.833071 7.743000
    endloop
  endfacet
  facet normal 0.077762 0.739855 0.668258
    outer loop
      vertex 2.039406 9.594650 7.588000
      vertex 0.000000 9.809000 7.588000
      vertex 2.010298 9.457709 7.743000
    endloop
  endfacet
  facet normal 0.077762 0.739856 0.668257
    outer loop
      vertex 0.000000 9.809000 7.588000
      vertex 0.000000 9.669000 7.743000
      vertex 2.010298 9.457709 7.743000
    endloop
  endfacet
  facet normal -0.077762 0.739856 0.668257
    outer loop
      vertex 0.000000 9.809000 7.588000
      vertex -2.039406 9.594650 7.588000
      vertex 0.000000 9.669000 7.743000
    endloop
  endfacet
  facet normal -0.077762 0.739855 0.668258
    outer loop
      vertex 0.000000 9.669000 7.743000
      vertex -2.039406 9.594650 7.588000
      vertex -2.010298 9.457709 7.743000
    endloop
  endfacet
  facet normal -0.229887 0.707519 0.668258
    outer loop
      vertex -2.039406 9.594650 7.588000
      vertex -3.989680 8.960967 7.588000
      vertex -2.010298 9.457709 7.743000
    endloop
  endfacet
  facet normal -0.229887 0.707521 0.668256
    outer loop
      vertex -2.010298 9.457709 7.743000
      vertex -3.989680 8.960967 7.588000
      vertex -3.932737 8.833071 7.743000
    endloop
  endfacet
  facet normal -0.182496 0.561664 0.806987
    outer loop
      vertex -2.010298 9.457709 7.743000
      vertex -3.932737 8.833071 7.743000
      vertex -1.975161 9.292402 7.866000
    endloop
  endfacet
  facet normal -0.182496 0.561665 0.806987
    outer loop
      vertex -1.975161 9.292402 7.866000
      vertex -3.932737 8.833071 7.743000
      vertex -3.863998 8.678682 7.866000
    endloop
  endfacet
  facet normal -0.126218 0.388459 0.912781
    outer loop
      vertex -1.975161 9.292402 7.866000
      vertex -3.863998 8.678682 7.866000
      vertex -1.935450 9.105576 7.951000
    endloop
  endfacet
  facet normal -0.126218 0.388458 0.912781
    outer loop
      vertex -1.935450 9.105576 7.951000
      vertex -3.863998 8.678682 7.866000
      vertex -3.786311 8.504195 7.951000
    endloop
  endfacet
  facet normal -0.204225 0.353727 0.912781
    outer loop
      vertex -3.863998 8.678682 7.866000
      vertex -5.583960 7.685661 7.866000
      vertex -3.786311 8.504195 7.951000
    endloop
  endfacet
  facet normal -0.204225 0.353728 0.912781
    outer loop
      vertex -3.786311 8.504195 7.951000
      vertex -5.583960 7.685661 7.866000
      vertex -5.471693 7.531139 7.951000
    endloop
  endfacet
  facet normal -0.273306 0.303537 0.912781
    outer loop
      vertex -5.583960 7.685661 7.866000
      vertex -7.059876 6.356741 7.866000
      vertex -5.471693 7.531139 7.951000
    endloop
  endfacet
  facet normal -0.273305 0.303536 0.912781
    outer loop
      vertex -5.471693 7.531139 7.951000
      vertex -7.059876 6.356741 7.866000
      vertex -6.917935 6.228937 7.951000
    endloop
  endfacet
  facet normal -0.330442 0.240080 0.912781
    outer loop
      vertex -7.059876 6.356741 7.866000
      vertex -8.227241 4.750000 7.866000
      vertex -6.917935 6.228937 7.951000
    endloop
  endfacet
  facet normal -0.330442 0.240080 0.912781
    outer loop
      vertex -6.917935 6.228937 7.951000
      vertex -8.227241 4.750000 7.866000
      vertex -8.061830 4.654500 7.951000
    endloop
  endfacet
  facet normal -0.373137 0.166131 0.912781
    outer loop
      vertex -8.227241 4.750000 7.866000
      vertex -9.035037 2.935661 7.866000
      vertex -8.061830 4.654500 7.951000
    endloop
  endfacet
  facet normal -0.373137 0.166131 0.912781
    outer loop
      vertex -8.061830 4.654500 7.951000
      vertex -9.035037 2.935661 7.866000
      vertex -8.853385 2.876639 7.951000
    endloop
  endfacet
  facet normal -0.399523 0.084921 0.912781
    outer loop
      vertex -9.035037 2.935661 7.866000
      vertex -9.447958 0.993020 7.866000
      vertex -8.853385 2.876639 7.951000
    endloop
  endfacet
  facet normal -0.399523 0.084921 0.912781
    outer loop
      vertex -8.853385 2.876639 7.951000
      vertex -9.447958 0.993020 7.866000
      vertex -9.258004 0.973055 7.951000
    endloop
  endfacet
  facet normal -0.408448 0.000000 0.912781
    outer loop
      vertex -9.447958 0.993020 7.866000
      vertex -9.447958 -0.993020 7.866000
      vertex -9.258004 -0.973055 7.951000
    endloop
  endfacet
  facet normal -0.408448 0.000000 0.912781
    outer loop
      vertex -9.258004 0.973055 7.951000
      vertex -9.447958 0.993020 7.866000
      vertex -9.258004 -0.973055 7.951000
    endloop
  endfacet
  facet normal -0.399523 -0.084921 0.912781
    outer loop
      vertex -9.258004 -0.973055 7.951000
      vertex -9.447958 -0.993020 7.866000
      vertex -9.035037 -2.935661 7.866000
    endloop
  endfacet
  facet normal -0.399523 -0.084921 0.912781
    outer loop
      vertex -8.853385 -2.876639 7.951000
      vertex -9.258004 -0.973055 7.951000
      vertex -9.035037 -2.935661 7.866000
    endloop
  endfacet
  facet normal -0.373137 -0.166131 0.912781
    outer loop
      vertex -8.853385 -2.876639 7.951000
      vertex -9.035037 -2.935661 7.866000
      vertex -8.227241 -4.750000 7.866000
    endloop
  endfacet
  facet normal -0.539510 -0.240206 0.806988
    outer loop
      vertex -8.227241 -4.750000 7.866000
      vertex -9.035037 -2.935661 7.866000
      vertex -8.373600 -4.834500 7.743000
    endloop
  endfacet
  facet normal -0.477779 -0.347127 0.806988
    outer loop
      vertex -8.227241 -4.750000 7.866000
      vertex -8.373600 -4.834500 7.743000
      vertex -7.185467 -6.469824 7.743000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -8.950697 -0.940756 7.995000
      vertex -9.055122 -0.951732 7.995000
      vertex -8.659370 -2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 6.688303 -6.022175 7.995000
      vertex 5.290067 -7.281153 7.995000
      vertex 6.766334 -6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -8.559509 2.781153 7.995000
      vertex -7.794229 4.500000 7.995000
      vertex -7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -9.055122 0.951732 7.995000
      vertex -9.055122 -0.951732 7.995000
      vertex -8.950697 -0.940756 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 7.794229 -4.500000 7.995000
      vertex 6.688303 -6.022175 7.995000
      vertex 7.885161 -4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -8.659370 2.813600 7.995000
      vertex -8.559509 2.781153 7.995000
      vertex -7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -8.659370 2.813600 7.995000
      vertex -9.055122 0.951732 7.995000
      vertex -8.559509 2.781153 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.885161 4.552500 7.995000
      vertex -7.794229 4.500000 7.995000
      vertex -6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.794229 4.500000 7.995000
      vertex -6.688303 6.022175 7.995000
      vertex -6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.766334 6.092434 7.995000
      vertex -6.688303 6.022175 7.995000
      vertex -5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.351785 7.366100 7.995000
      vertex -5.290067 7.281153 7.995000
      vertex -3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.703337 8.317831 7.995000
      vertex -3.660630 8.221909 7.995000
      vertex -1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -1.893036 8.906034 7.995000
      vertex -1.871205 8.803328 7.995000
      vertex 0.000000 9.105000 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 0.000000 9.105000 7.995000
      vertex 0.000000 9.000000 7.995000
      vertex 1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 1.893036 8.906034 7.995000
      vertex 1.871205 8.803328 7.995000
      vertex 3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 3.703337 8.317831 7.995000
      vertex 3.660630 8.221909 7.995000
      vertex 5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 5.351785 7.366100 7.995000
      vertex 5.290067 7.281153 7.995000
      vertex 6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 6.766334 6.092434 7.995000
      vertex 6.688303 6.022175 7.995000
      vertex 7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 7.885161 4.552500 7.995000
      vertex 7.794229 4.500000 7.995000
      vertex 8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 8.659370 2.813600 7.995000
      vertex 8.559509 2.781153 7.995000
      vertex 9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 9.055122 0.951732 7.995000
      vertex 8.950697 0.940756 7.995000
      vertex 9.055122 -0.951732 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 8.950697 0.940756 7.995000
      vertex 8.950697 -0.940756 7.995000
      vertex 9.055122 -0.951732 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 9.055122 -0.951732 7.995000
      vertex 8.559509 -2.781153 7.995000
      vertex 8.659370 -2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 8.659370 -2.813600 7.995000
      vertex 7.794229 -4.500000 7.995000
      vertex 7.885161 -4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.688303 6.022175 7.995000
      vertex -5.290067 7.281153 7.995000
      vertex -5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.885161 -4.552500 7.995000
      vertex 6.688303 -6.022175 7.995000
      vertex 6.766334 -6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.290067 7.281153 7.995000
      vertex -3.660630 8.221909 7.995000
      vertex -3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 6.766334 -6.092434 7.995000
      vertex 5.290067 -7.281153 7.995000
      vertex 5.351785 -7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.660630 8.221909 7.995000
      vertex -1.871205 8.803328 7.995000
      vertex -1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 5.351785 -7.366100 7.995000
      vertex 3.660630 -8.221909 7.995000
      vertex 3.703337 -8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -1.871205 8.803328 7.995000
      vertex 0.000000 9.000000 7.995000
      vertex 0.000000 9.105000 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 3.703337 -8.317831 7.995000
      vertex 1.871205 -8.803328 7.995000
      vertex 1.893036 -8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 9.000000 7.995000
      vertex 1.871205 8.803328 7.995000
      vertex 1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 1.893036 -8.906034 7.995000
      vertex 0.000000 -9.000000 7.995000
      vertex 0.000000 -9.105000 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 1.871205 8.803328 7.995000
      vertex 3.660630 8.221909 7.995000
      vertex 3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 -9.105000 7.995000
      vertex -1.871205 -8.803328 7.995000
      vertex -1.893036 -8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 3.660630 8.221909 7.995000
      vertex 5.290067 7.281153 7.995000
      vertex 5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -1.893036 -8.906034 7.995000
      vertex -3.660630 -8.221909 7.995000
      vertex -3.703337 -8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 5.290067 7.281153 7.995000
      vertex 6.688303 6.022175 7.995000
      vertex 6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.703337 -8.317831 7.995000
      vertex -5.290067 -7.281153 7.995000
      vertex -5.351785 -7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 6.688303 6.022175 7.995000
      vertex 7.794229 4.500000 7.995000
      vertex 7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.351785 -7.366100 7.995000
      vertex -6.688303 -6.022175 7.995000
      vertex -6.766334 -6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.794229 4.500000 7.995000
      vertex 8.559509 2.781153 7.995000
      vertex 8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.766334 -6.092434 7.995000
      vertex -7.794229 -4.500000 7.995000
      vertex -7.885161 -4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 8.559509 2.781153 7.995000
      vertex 8.950697 0.940756 7.995000
      vertex 9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.885161 -4.552500 7.995000
      vertex -8.559509 -2.781153 7.995000
      vertex -8.659370 -2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 8.950697 -0.940756 7.995000
      vertex 8.559509 -2.781153 7.995000
      vertex 9.055122 -0.951732 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -8.559509 -2.781153 7.995000
      vertex -8.950697 -0.940756 7.995000
      vertex -8.659370 -2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 5.290067 -7.281153 7.995000
      vertex 3.660630 -8.221909 7.995000
      vertex 5.351785 -7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 3.660630 -8.221909 7.995000
      vertex 1.871205 -8.803328 7.995000
      vertex 3.703337 -8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 1.871205 -8.803328 7.995000
      vertex 0.000000 -9.000000 7.995000
      vertex 1.893036 -8.906034 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 -9.000000 7.995000
      vertex -1.871205 -8.803328 7.995000
      vertex 0.000000 -9.105000 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -1.871205 -8.803328 7.995000
      vertex -3.660630 -8.221909 7.995000
      vertex -1.893036 -8.906034 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -3.660630 -8.221909 7.995000
      vertex -5.290067 -7.281153 7.995000
      vertex -3.703337 -8.317831 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -5.290067 -7.281153 7.995000
      vertex -6.688303 -6.022175 7.995000
      vertex -5.351785 -7.366100 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -6.688303 -6.022175 7.995000
      vertex -7.794229 -4.500000 7.995000
      vertex -6.766334 -6.092434 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -7.794229 -4.500000 7.995000
      vertex -8.559509 -2.781153 7.995000
      vertex -7.885161 -4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -8.950697 -0.940756 7.995000
      vertex -8.950697 0.940756 7.995000
      vertex -9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 8.559509 -2.781153 7.995000
      vertex 7.794229 -4.500000 7.995000
      vertex 8.659370 -2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -8.950697 0.940756 7.995000
      vertex -8.559509 2.781153 7.995000
      vertex -9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal -0.477781 -0.347128 0.806986
    outer loop
      vertex -7.059876 -6.356741 7.866000
      vertex -8.227241 -4.750000 7.866000
      vertex -7.185467 -6.469824 7.743000
    endloop
  endfacet
  facet normal -0.395168 -0.438879 0.806987
    outer loop
      vertex -7.059876 -6.356741 7.866000
      vertex -7.185467 -6.469824 7.743000
      vertex -5.683296 -7.822385 7.743000
    endloop
  endfacet
  facet normal -0.395167 -0.438878 0.806988
    outer loop
      vertex -5.583960 -7.685661 7.866000
      vertex -7.059876 -6.356741 7.866000
      vertex -5.683296 -7.822385 7.743000
    endloop
  endfacet
  facet normal -0.295284 -0.511447 0.806988
    outer loop
      vertex -5.583960 -7.685661 7.866000
      vertex -5.683296 -7.822385 7.743000
      vertex -3.932737 -8.833071 7.743000
    endloop
  endfacet
  facet normal -0.295285 -0.511448 0.806987
    outer loop
      vertex -3.863998 -8.678682 7.866000
      vertex -5.583960 -7.685661 7.866000
      vertex -3.932737 -8.833071 7.743000
    endloop
  endfacet
  facet normal -0.182496 -0.561665 0.806987
    outer loop
      vertex -3.863998 -8.678682 7.866000
      vertex -3.932737 -8.833071 7.743000
      vertex -2.010298 -9.457709 7.743000
    endloop
  endfacet
  facet normal -0.182496 -0.561664 0.806987
    outer loop
      vertex -1.975161 -9.292402 7.866000
      vertex -3.863998 -8.678682 7.866000
      vertex -2.010298 -9.457709 7.743000
    endloop
  endfacet
  facet normal -0.061731 -0.587334 0.806987
    outer loop
      vertex -1.975161 -9.292402 7.866000
      vertex -2.010298 -9.457709 7.743000
      vertex 0.000000 -9.669000 7.743000
    endloop
  endfacet
  facet normal -0.061731 -0.587334 0.806987
    outer loop
      vertex 0.000000 -9.500000 7.866000
      vertex -1.975161 -9.292402 7.866000
      vertex 0.000000 -9.669000 7.743000
    endloop
  endfacet
  facet normal 0.061731 -0.587334 0.806987
    outer loop
      vertex 0.000000 -9.500000 7.866000
      vertex 0.000000 -9.669000 7.743000
      vertex 2.010298 -9.457709 7.743000
    endloop
  endfacet
  facet normal 0.061731 -0.587334 0.806987
    outer loop
      vertex 1.975161 -9.292402 7.866000
      vertex 0.000000 -9.500000 7.866000
      vertex 2.010298 -9.457709 7.743000
    endloop
  endfacet
  facet normal 0.182496 -0.561664 0.806987
    outer loop
      vertex 3.932737 -8.833071 7.743000
      vertex 1.975161 -9.292402 7.866000
      vertex 2.010298 -9.457709 7.743000
    endloop
  endfacet
  facet normal 0.182496 -0.561665 0.806987
    outer loop
      vertex 3.863998 -8.678682 7.866000
      vertex 1.975161 -9.292402 7.866000
      vertex 3.932737 -8.833071 7.743000
    endloop
  endfacet
  facet normal 0.295284 -0.511448 0.806987
    outer loop
      vertex 5.683296 -7.822385 7.743000
      vertex 3.863998 -8.678682 7.866000
      vertex 3.932737 -8.833071 7.743000
    endloop
  endfacet
  facet normal 0.295284 -0.511447 0.806988
    outer loop
      vertex 5.583960 -7.685661 7.866000
      vertex 3.863998 -8.678682 7.866000
      vertex 5.683296 -7.822385 7.743000
    endloop
  endfacet
  facet normal 0.395167 -0.438878 0.806988
    outer loop
      vertex 7.185467 -6.469824 7.743000
      vertex 5.583960 -7.685661 7.866000
      vertex 5.683296 -7.822385 7.743000
    endloop
  endfacet
  facet normal 0.395168 -0.438879 0.806986
    outer loop
      vertex 7.059876 -6.356741 7.866000
      vertex 5.583960 -7.685661 7.866000
      vertex 7.185467 -6.469824 7.743000
    endloop
  endfacet
  facet normal 0.477781 -0.347128 0.806986
    outer loop
      vertex 8.373600 -4.834500 7.743000
      vertex 7.059876 -6.356741 7.866000
      vertex 7.185467 -6.469824 7.743000
    endloop
  endfacet
  facet normal 0.477779 -0.347127 0.806988
    outer loop
      vertex 8.227241 -4.750000 7.866000
      vertex 7.059876 -6.356741 7.866000
      vertex 8.373600 -4.834500 7.743000
    endloop
  endfacet
  facet normal 0.539510 -0.240205 0.806988
    outer loop
      vertex 9.195765 -2.987885 7.743000
      vertex 8.227241 -4.750000 7.866000
      vertex 8.373600 -4.834500 7.743000
    endloop
  endfacet
  facet normal 0.539513 -0.240207 0.806986
    outer loop
      vertex 9.035037 -2.935661 7.866000
      vertex 8.227241 -4.750000 7.866000
      vertex 9.195765 -2.987885 7.743000
    endloop
  endfacet
  facet normal 0.577665 -0.122787 0.806986
    outer loop
      vertex 9.616032 -1.010686 7.743000
      vertex 9.035037 -2.935661 7.866000
      vertex 9.195765 -2.987885 7.743000
    endloop
  endfacet
  facet normal 0.577664 -0.122786 0.806987
    outer loop
      vertex 9.447958 -0.993020 7.866000
      vertex 9.035037 -2.935661 7.866000
      vertex 9.616032 -1.010686 7.743000
    endloop
  endfacet
  facet normal 0.590569 -0.000000 0.806987
    outer loop
      vertex 9.447958 0.993020 7.866000
      vertex 9.447958 -0.993020 7.866000
      vertex 9.616032 -1.010686 7.743000
    endloop
  endfacet
  facet normal 0.590569 -0.000000 0.806987
    outer loop
      vertex 9.616032 1.010686 7.743000
      vertex 9.447958 0.993020 7.866000
      vertex 9.616032 -1.010686 7.743000
    endloop
  endfacet
  facet normal 0.577664 0.122786 0.806987
    outer loop
      vertex 9.616032 1.010686 7.743000
      vertex 9.195765 2.987885 7.743000
      vertex 9.447958 0.993020 7.866000
    endloop
  endfacet
  facet normal 0.577665 0.122786 0.806986
    outer loop
      vertex 9.195765 2.987885 7.743000
      vertex 9.035037 2.935661 7.866000
      vertex 9.447958 0.993020 7.866000
    endloop
  endfacet
  facet normal 0.539513 0.240206 0.806986
    outer loop
      vertex 9.195765 2.987885 7.743000
      vertex 8.373600 4.834500 7.743000
      vertex 9.035037 2.935661 7.866000
    endloop
  endfacet
  facet normal 0.539510 0.240206 0.806988
    outer loop
      vertex 8.373600 4.834500 7.743000
      vertex 8.227241 4.750000 7.866000
      vertex 9.035037 2.935661 7.866000
    endloop
  endfacet
  facet normal 0.477779 0.347127 0.806988
    outer loop
      vertex 8.373600 4.834500 7.743000
      vertex 7.185467 6.469824 7.743000
      vertex 8.227241 4.750000 7.866000
    endloop
  endfacet
  facet normal 0.477781 0.347128 0.806986
    outer loop
      vertex 7.185467 6.469824 7.743000
      vertex 7.059876 6.356741 7.866000
      vertex 8.227241 4.750000 7.866000
    endloop
  endfacet
  facet normal 0.395168 0.438879 0.806987
    outer loop
      vertex 7.185467 6.469824 7.743000
      vertex 5.683296 7.822385 7.743000
      vertex 7.059876 6.356741 7.866000
    endloop
  endfacet
  facet normal 0.395167 0.438878 0.806988
    outer loop
      vertex 5.683296 7.822385 7.743000
      vertex 5.583960 7.685661 7.866000
      vertex 7.059876 6.356741 7.866000
    endloop
  endfacet
  facet normal 0.295284 0.511447 0.806988
    outer loop
      vertex 5.683296 7.822385 7.743000
      vertex 3.932737 8.833071 7.743000
      vertex 5.583960 7.685661 7.866000
    endloop
  endfacet
  facet normal 0.295285 0.511448 0.806987
    outer loop
      vertex 3.932737 8.833071 7.743000
      vertex 3.863998 8.678682 7.866000
      vertex 5.583960 7.685661 7.866000
    endloop
  endfacet
  facet normal 0.182496 0.561665 0.806987
    outer loop
      vertex 3.932737 8.833071 7.743000
      vertex 2.010298 9.457709 7.743000
      vertex 3.863998 8.678682 7.866000
    endloop
  endfacet
  facet normal 0.182496 0.561664 0.806987
    outer loop
      vertex 2.010298 9.457709 7.743000
      vertex 1.975161 9.292402 7.866000
      vertex 3.863998 8.678682 7.866000
    endloop
  endfacet
  facet normal 0.061731 0.587334 0.806987
    outer loop
      vertex 2.010298 9.457709 7.743000
      vertex 0.000000 9.669000 7.743000
      vertex 1.975161 9.292402 7.866000
    endloop
  endfacet
  facet normal 0.061731 0.587334 0.806987
    outer loop
      vertex 0.000000 9.669000 7.743000
      vertex 0.000000 9.500000 7.866000
      vertex 1.975161 9.292402 7.866000
    endloop
  endfacet
  facet normal -0.061731 0.587334 0.806987
    outer loop
      vertex 0.000000 9.669000 7.743000
      vertex -2.010298 9.457709 7.743000
      vertex 0.000000 9.500000 7.866000
    endloop
  endfacet
  facet normal -0.061731 0.587334 0.806987
    outer loop
      vertex 0.000000 9.500000 7.866000
      vertex -2.010298 9.457709 7.743000
      vertex -1.975161 9.292402 7.866000
    endloop
  endfacet
  facet normal -0.042695 0.406211 0.912781
    outer loop
      vertex 0.000000 9.500000 7.866000
      vertex -1.975161 9.292402 7.866000
      vertex 0.000000 9.309000 7.951000
    endloop
  endfacet
  facet normal -0.042695 0.406212 0.912781
    outer loop
      vertex 0.000000 9.309000 7.951000
      vertex -1.975161 9.292402 7.866000
      vertex -1.935450 9.105576 7.951000
    endloop
  endfacet
  facet normal -0.022155 0.210786 0.977281
    outer loop
      vertex 0.000000 9.309000 7.951000
      vertex -1.935450 9.105576 7.951000
      vertex 0.000000 9.105000 7.995000
    endloop
  endfacet
  facet normal -0.022155 0.210786 0.977281
    outer loop
      vertex 0.000000 9.105000 7.995000
      vertex -1.935450 9.105576 7.951000
      vertex -1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal -0.065495 0.201574 0.977281
    outer loop
      vertex -1.935450 9.105576 7.951000
      vertex -3.786311 8.504195 7.951000
      vertex -1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal -0.065495 0.201573 0.977281
    outer loop
      vertex -1.893036 8.906034 7.995000
      vertex -3.786311 8.504195 7.951000
      vertex -3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal -0.105973 0.183551 0.977281
    outer loop
      vertex -3.786311 8.504195 7.951000
      vertex -5.471693 7.531139 7.951000
      vertex -3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal -0.105974 0.183552 0.977281
    outer loop
      vertex -3.703337 8.317831 7.995000
      vertex -5.471693 7.531139 7.951000
      vertex -5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal -0.141821 0.157508 0.977281
    outer loop
      vertex -5.471693 7.531139 7.951000
      vertex -6.917935 6.228937 7.951000
      vertex -5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal -0.141820 0.157508 0.977281
    outer loop
      vertex -5.351785 7.366100 7.995000
      vertex -6.917935 6.228937 7.951000
      vertex -6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal -0.171469 0.124580 0.977281
    outer loop
      vertex -6.917935 6.228937 7.951000
      vertex -8.061830 4.654500 7.951000
      vertex -6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal -0.171469 0.124579 0.977281
    outer loop
      vertex -6.766334 6.092434 7.995000
      vertex -8.061830 4.654500 7.951000
      vertex -7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal -0.193624 0.086207 0.977281
    outer loop
      vertex -8.061830 4.654500 7.951000
      vertex -8.853385 2.876639 7.951000
      vertex -7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal -0.193624 0.086207 0.977281
    outer loop
      vertex -7.885161 4.552500 7.995000
      vertex -8.853385 2.876639 7.951000
      vertex -8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal -0.207316 0.044066 0.977281
    outer loop
      vertex -8.853385 2.876639 7.951000
      vertex -9.258004 0.973055 7.951000
      vertex -8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal -0.207316 0.044066 0.977281
    outer loop
      vertex -8.659370 2.813600 7.995000
      vertex -9.258004 0.973055 7.951000
      vertex -9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal -0.211948 0.000000 0.977281
    outer loop
      vertex -9.258004 0.973055 7.951000
      vertex -9.258004 -0.973055 7.951000
      vertex -9.055122 -0.951732 7.995000
    endloop
  endfacet
  facet normal -0.211948 0.000000 0.977281
    outer loop
      vertex -9.055122 0.951732 7.995000
      vertex -9.258004 0.973055 7.951000
      vertex -9.055122 -0.951732 7.995000
    endloop
  endfacet
  facet normal -0.207316 -0.044066 0.977281
    outer loop
      vertex -9.055122 -0.951732 7.995000
      vertex -9.258004 -0.973055 7.951000
      vertex -8.853385 -2.876639 7.951000
    endloop
  endfacet
  facet normal -0.207316 -0.044066 0.977281
    outer loop
      vertex -8.659370 -2.813600 7.995000
      vertex -9.055122 -0.951732 7.995000
      vertex -8.853385 -2.876639 7.951000
    endloop
  endfacet
  facet normal -0.193624 -0.086207 0.977281
    outer loop
      vertex -8.659370 -2.813600 7.995000
      vertex -8.853385 -2.876639 7.951000
      vertex -8.061830 -4.654500 7.951000
    endloop
  endfacet
  facet normal -0.373137 -0.166131 0.912781
    outer loop
      vertex -8.061830 -4.654500 7.951000
      vertex -8.853385 -2.876639 7.951000
      vertex -8.227241 -4.750000 7.866000
    endloop
  endfacet
  facet normal -0.330442 -0.240080 0.912781
    outer loop
      vertex -8.061830 -4.654500 7.951000
      vertex -8.227241 -4.750000 7.866000
      vertex -7.059876 -6.356741 7.866000
    endloop
  endfacet
  facet normal 0.022155 0.210786 0.977281
    outer loop
      vertex 0.000000 9.309000 7.951000
      vertex 0.000000 9.105000 7.995000
      vertex 1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.065495 0.201574 0.977281
    outer loop
      vertex 1.935450 9.105576 7.951000
      vertex 1.893036 8.906034 7.995000
      vertex 3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.022155 0.210786 0.977281
    outer loop
      vertex 1.935450 9.105576 7.951000
      vertex 0.000000 9.309000 7.951000
      vertex 1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.105973 0.183551 0.977281
    outer loop
      vertex 3.786311 8.504195 7.951000
      vertex 3.703337 8.317831 7.995000
      vertex 5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.065495 0.201573 0.977281
    outer loop
      vertex 3.786311 8.504195 7.951000
      vertex 1.935450 9.105576 7.951000
      vertex 3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.141821 0.157508 0.977281
    outer loop
      vertex 5.471693 7.531139 7.951000
      vertex 5.351785 7.366100 7.995000
      vertex 6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.105974 0.183552 0.977281
    outer loop
      vertex 5.471693 7.531139 7.951000
      vertex 3.786311 8.504195 7.951000
      vertex 5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.171469 0.124580 0.977281
    outer loop
      vertex 6.917935 6.228937 7.951000
      vertex 6.766334 6.092434 7.995000
      vertex 7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.141820 0.157508 0.977281
    outer loop
      vertex 6.917935 6.228937 7.951000
      vertex 5.471693 7.531139 7.951000
      vertex 6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.193624 0.086207 0.977281
    outer loop
      vertex 8.061830 4.654500 7.951000
      vertex 7.885161 4.552500 7.995000
      vertex 8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal 0.171469 0.124579 0.977281
    outer loop
      vertex 8.061830 4.654500 7.951000
      vertex 6.917935 6.228937 7.951000
      vertex 7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.207316 0.044066 0.977281
    outer loop
      vertex 8.853385 2.876639 7.951000
      vertex 8.659370 2.813600 7.995000
      vertex 9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal 0.193624 0.086207 0.977281
    outer loop
      vertex 8.853385 2.876639 7.951000
      vertex 8.061830 4.654500 7.951000
      vertex 8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal 0.211948 -0.000000 0.977281
    outer loop
      vertex 9.055122 0.951732 7.995000
      vertex 9.055122 -0.951732 7.995000
      vertex 9.258004 -0.973055 7.951000
    endloop
  endfacet
  facet normal 0.211948 -0.000000 0.977281
    outer loop
      vertex 9.258004 0.973055 7.951000
      vertex 9.055122 0.951732 7.995000
      vertex 9.258004 -0.973055 7.951000
    endloop
  endfacet
  facet normal 0.207316 0.044066 0.977281
    outer loop
      vertex 9.258004 0.973055 7.951000
      vertex 8.853385 2.876639 7.951000
      vertex 9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal 0.207316 -0.044066 0.977281
    outer loop
      vertex 9.055122 -0.951732 7.995000
      vertex 8.659370 -2.813600 7.995000
      vertex 9.258004 -0.973055 7.951000
    endloop
  endfacet
  facet normal 0.193624 -0.086207 0.977281
    outer loop
      vertex 8.659370 -2.813600 7.995000
      vertex 7.885161 -4.552500 7.995000
      vertex 8.853385 -2.876639 7.951000
    endloop
  endfacet
  facet normal 0.207316 -0.044066 0.977281
    outer loop
      vertex 9.258004 -0.973055 7.951000
      vertex 8.659370 -2.813600 7.995000
      vertex 8.853385 -2.876639 7.951000
    endloop
  endfacet
  facet normal 0.171469 -0.124579 0.977281
    outer loop
      vertex 7.885161 -4.552500 7.995000
      vertex 6.766334 -6.092434 7.995000
      vertex 8.061830 -4.654500 7.951000
    endloop
  endfacet
  facet normal 0.193624 -0.086207 0.977281
    outer loop
      vertex 8.853385 -2.876639 7.951000
      vertex 7.885161 -4.552500 7.995000
      vertex 8.061830 -4.654500 7.951000
    endloop
  endfacet
  facet normal 0.141820 -0.157508 0.977281
    outer loop
      vertex 6.766334 -6.092434 7.995000
      vertex 5.351785 -7.366100 7.995000
      vertex 6.917935 -6.228937 7.951000
    endloop
  endfacet
  facet normal 0.171469 -0.124580 0.977281
    outer loop
      vertex 8.061830 -4.654500 7.951000
      vertex 6.766334 -6.092434 7.995000
      vertex 6.917935 -6.228937 7.951000
    endloop
  endfacet
  facet normal 0.105974 -0.183552 0.977281
    outer loop
      vertex 5.351785 -7.366100 7.995000
      vertex 3.703337 -8.317831 7.995000
      vertex 5.471693 -7.531139 7.951000
    endloop
  endfacet
  facet normal 0.141821 -0.157508 0.977281
    outer loop
      vertex 6.917935 -6.228937 7.951000
      vertex 5.351785 -7.366100 7.995000
      vertex 5.471693 -7.531139 7.951000
    endloop
  endfacet
  facet normal 0.065495 -0.201573 0.977281
    outer loop
      vertex 3.703337 -8.317831 7.995000
      vertex 1.893036 -8.906034 7.995000
      vertex 3.786311 -8.504195 7.951000
    endloop
  endfacet
  facet normal 0.105973 -0.183551 0.977281
    outer loop
      vertex 5.471693 -7.531139 7.951000
      vertex 3.703337 -8.317831 7.995000
      vertex 3.786311 -8.504195 7.951000
    endloop
  endfacet
  facet normal 0.022155 -0.210786 0.977281
    outer loop
      vertex 1.893036 -8.906034 7.995000
      vertex 0.000000 -9.105000 7.995000
      vertex 1.935450 -9.105576 7.951000
    endloop
  endfacet
  facet normal 0.065495 -0.201574 0.977281
    outer loop
      vertex 3.786311 -8.504195 7.951000
      vertex 1.893036 -8.906034 7.995000
      vertex 1.935450 -9.105576 7.951000
    endloop
  endfacet
  facet normal -0.022155 -0.210786 0.977281
    outer loop
      vertex 0.000000 -9.105000 7.995000
      vertex -1.893036 -8.906034 7.995000
      vertex 0.000000 -9.309000 7.951000
    endloop
  endfacet
  facet normal 0.022155 -0.210786 0.977281
    outer loop
      vertex 0.000000 -9.105000 7.995000
      vertex 0.000000 -9.309000 7.951000
      vertex 1.935450 -9.105576 7.951000
    endloop
  endfacet
  facet normal -0.065495 -0.201574 0.977281
    outer loop
      vertex -1.893036 -8.906034 7.995000
      vertex -3.703337 -8.317831 7.995000
      vertex -1.935450 -9.105576 7.951000
    endloop
  endfacet
  facet normal -0.022155 -0.210786 0.977281
    outer loop
      vertex -1.893036 -8.906034 7.995000
      vertex -1.935450 -9.105576 7.951000
      vertex 0.000000 -9.309000 7.951000
    endloop
  endfacet
  facet normal -0.105973 -0.183551 0.977281
    outer loop
      vertex -3.703337 -8.317831 7.995000
      vertex -5.351785 -7.366100 7.995000
      vertex -3.786311 -8.504195 7.951000
    endloop
  endfacet
  facet normal -0.065495 -0.201573 0.977281
    outer loop
      vertex -3.703337 -8.317831 7.995000
      vertex -3.786311 -8.504195 7.951000
      vertex -1.935450 -9.105576 7.951000
    endloop
  endfacet
  facet normal -0.141821 -0.157508 0.977281
    outer loop
      vertex -5.351785 -7.366100 7.995000
      vertex -6.766334 -6.092434 7.995000
      vertex -5.471693 -7.531139 7.951000
    endloop
  endfacet
  facet normal -0.105974 -0.183552 0.977281
    outer loop
      vertex -5.351785 -7.366100 7.995000
      vertex -5.471693 -7.531139 7.951000
      vertex -3.786311 -8.504195 7.951000
    endloop
  endfacet
  facet normal -0.171469 -0.124580 0.977281
    outer loop
      vertex -6.766334 -6.092434 7.995000
      vertex -7.885161 -4.552500 7.995000
      vertex -6.917935 -6.228937 7.951000
    endloop
  endfacet
  facet normal -0.141820 -0.157508 0.977281
    outer loop
      vertex -6.766334 -6.092434 7.995000
      vertex -6.917935 -6.228937 7.951000
      vertex -5.471693 -7.531139 7.951000
    endloop
  endfacet
  facet normal -0.193624 -0.086207 0.977281
    outer loop
      vertex -7.885161 -4.552500 7.995000
      vertex -8.659370 -2.813600 7.995000
      vertex -8.061830 -4.654500 7.951000
    endloop
  endfacet
  facet normal -0.171469 -0.124579 0.977281
    outer loop
      vertex -7.885161 -4.552500 7.995000
      vertex -8.061830 -4.654500 7.951000
      vertex -6.917935 -6.228937 7.951000
    endloop
  endfacet
  facet normal -0.330442 -0.240080 0.912781
    outer loop
      vertex -6.917935 -6.228937 7.951000
      vertex -8.061830 -4.654500 7.951000
      vertex -7.059876 -6.356741 7.866000
    endloop
  endfacet
  facet normal -0.273305 -0.303537 0.912781
    outer loop
      vertex -6.917935 -6.228937 7.951000
      vertex -7.059876 -6.356741 7.866000
      vertex -5.583960 -7.685661 7.866000
    endloop
  endfacet
  facet normal -0.273306 -0.303537 0.912781
    outer loop
      vertex -5.471693 -7.531139 7.951000
      vertex -6.917935 -6.228937 7.951000
      vertex -5.583960 -7.685661 7.866000
    endloop
  endfacet
  facet normal -0.204225 -0.353728 0.912781
    outer loop
      vertex -5.471693 -7.531139 7.951000
      vertex -5.583960 -7.685661 7.866000
      vertex -3.863998 -8.678682 7.866000
    endloop
  endfacet
  facet normal -0.204225 -0.353727 0.912781
    outer loop
      vertex -3.786311 -8.504195 7.951000
      vertex -5.471693 -7.531139 7.951000
      vertex -3.863998 -8.678682 7.866000
    endloop
  endfacet
  facet normal -0.126218 -0.388458 0.912781
    outer loop
      vertex -3.786311 -8.504195 7.951000
      vertex -3.863998 -8.678682 7.866000
      vertex -1.975161 -9.292402 7.866000
    endloop
  endfacet
  facet normal -0.126218 -0.388458 0.912781
    outer loop
      vertex -1.935450 -9.105576 7.951000
      vertex -3.786311 -8.504195 7.951000
      vertex -1.975161 -9.292402 7.866000
    endloop
  endfacet
  facet normal -0.042695 -0.406212 0.912781
    outer loop
      vertex -1.935450 -9.105576 7.951000
      vertex -1.975161 -9.292402 7.866000
      vertex 0.000000 -9.500000 7.866000
    endloop
  endfacet
  facet normal -0.042695 -0.406211 0.912781
    outer loop
      vertex 0.000000 -9.309000 7.951000
      vertex -1.935450 -9.105576 7.951000
      vertex 0.000000 -9.500000 7.866000
    endloop
  endfacet
  facet normal 0.042695 -0.406211 0.912781
    outer loop
      vertex 0.000000 -9.309000 7.951000
      vertex 0.000000 -9.500000 7.866000
      vertex 1.975161 -9.292402 7.866000
    endloop
  endfacet
  facet normal 0.042695 -0.406212 0.912781
    outer loop
      vertex 1.935450 -9.105576 7.951000
      vertex 0.000000 -9.309000 7.951000
      vertex 1.975161 -9.292402 7.866000
    endloop
  endfacet
  facet normal 0.126218 -0.388459 0.912781
    outer loop
      vertex 3.863998 -8.678682 7.866000
      vertex 1.935450 -9.105576 7.951000
      vertex 1.975161 -9.292402 7.866000
    endloop
  endfacet
  facet normal 0.126218 -0.388458 0.912781
    outer loop
      vertex 3.786311 -8.504195 7.951000
      vertex 1.935450 -9.105576 7.951000
      vertex 3.863998 -8.678682 7.866000
    endloop
  endfacet
  facet normal 0.204225 -0.353727 0.912781
    outer loop
      vertex 5.583960 -7.685661 7.866000
      vertex 3.786311 -8.504195 7.951000
      vertex 3.863998 -8.678682 7.866000
    endloop
  endfacet
  facet normal 0.204225 -0.353728 0.912781
    outer loop
      vertex 5.471693 -7.531139 7.951000
      vertex 3.786311 -8.504195 7.951000
      vertex 5.583960 -7.685661 7.866000
    endloop
  endfacet
  facet normal 0.273306 -0.303537 0.912781
    outer loop
      vertex 7.059876 -6.356741 7.866000
      vertex 5.471693 -7.531139 7.951000
      vertex 5.583960 -7.685661 7.866000
    endloop
  endfacet
  facet normal 0.273305 -0.303536 0.912781
    outer loop
      vertex 6.917935 -6.228937 7.951000
      vertex 5.471693 -7.531139 7.951000
      vertex 7.059876 -6.356741 7.866000
    endloop
  endfacet
  facet normal 0.330442 -0.240080 0.912781
    outer loop
      vertex 8.227241 -4.750000 7.866000
      vertex 6.917935 -6.228937 7.951000
      vertex 7.059876 -6.356741 7.866000
    endloop
  endfacet
  facet normal 0.330442 -0.240080 0.912781
    outer loop
      vertex 8.061830 -4.654500 7.951000
      vertex 6.917935 -6.228937 7.951000
      vertex 8.227241 -4.750000 7.866000
    endloop
  endfacet
  facet normal 0.373137 -0.166131 0.912781
    outer loop
      vertex 9.035037 -2.935661 7.866000
      vertex 8.061830 -4.654500 7.951000
      vertex 8.227241 -4.750000 7.866000
    endloop
  endfacet
  facet normal 0.373137 -0.166131 0.912781
    outer loop
      vertex 8.853385 -2.876639 7.951000
      vertex 8.061830 -4.654500 7.951000
      vertex 9.035037 -2.935661 7.866000
    endloop
  endfacet
  facet normal 0.399523 -0.084921 0.912781
    outer loop
      vertex 9.447958 -0.993020 7.866000
      vertex 8.853385 -2.876639 7.951000
      vertex 9.035037 -2.935661 7.866000
    endloop
  endfacet
  facet normal 0.399523 -0.084921 0.912781
    outer loop
      vertex 9.258004 -0.973055 7.951000
      vertex 8.853385 -2.876639 7.951000
      vertex 9.447958 -0.993020 7.866000
    endloop
  endfacet
  facet normal 0.408448 -0.000000 0.912781
    outer loop
      vertex 9.258004 0.973055 7.951000
      vertex 9.258004 -0.973055 7.951000
      vertex 9.447958 -0.993020 7.866000
    endloop
  endfacet
  facet normal 0.408448 -0.000000 0.912781
    outer loop
      vertex 9.447958 0.993020 7.866000
      vertex 9.258004 0.973055 7.951000
      vertex 9.447958 -0.993020 7.866000
    endloop
  endfacet
  facet normal 0.399523 0.084921 0.912781
    outer loop
      vertex 9.447958 0.993020 7.866000
      vertex 9.035037 2.935661 7.866000
      vertex 9.258004 0.973055 7.951000
    endloop
  endfacet
  facet normal 0.399523 0.084921 0.912781
    outer loop
      vertex 9.035037 2.935661 7.866000
      vertex 8.853385 2.876639 7.951000
      vertex 9.258004 0.973055 7.951000
    endloop
  endfacet
  facet normal 0.373137 0.166131 0.912781
    outer loop
      vertex 9.035037 2.935661 7.866000
      vertex 8.227241 4.750000 7.866000
      vertex 8.853385 2.876639 7.951000
    endloop
  endfacet
  facet normal 0.373137 0.166131 0.912781
    outer loop
      vertex 8.227241 4.750000 7.866000
      vertex 8.061830 4.654500 7.951000
      vertex 8.853385 2.876639 7.951000
    endloop
  endfacet
  facet normal 0.330442 0.240080 0.912781
    outer loop
      vertex 8.227241 4.750000 7.866000
      vertex 7.059876 6.356741 7.866000
      vertex 8.061830 4.654500 7.951000
    endloop
  endfacet
  facet normal 0.330442 0.240080 0.912781
    outer loop
      vertex 7.059876 6.356741 7.866000
      vertex 6.917935 6.228937 7.951000
      vertex 8.061830 4.654500 7.951000
    endloop
  endfacet
  facet normal 0.273305 0.303537 0.912781
    outer loop
      vertex 7.059876 6.356741 7.866000
      vertex 5.583960 7.685661 7.866000
      vertex 6.917935 6.228937 7.951000
    endloop
  endfacet
  facet normal 0.273306 0.303537 0.912781
    outer loop
      vertex 5.583960 7.685661 7.866000
      vertex 5.471693 7.531139 7.951000
      vertex 6.917935 6.228937 7.951000
    endloop
  endfacet
  facet normal 0.204225 0.353728 0.912781
    outer loop
      vertex 5.583960 7.685661 7.866000
      vertex 3.863998 8.678682 7.866000
      vertex 5.471693 7.531139 7.951000
    endloop
  endfacet
  facet normal 0.204225 0.353727 0.912781
    outer loop
      vertex 3.863998 8.678682 7.866000
      vertex 3.786311 8.504195 7.951000
      vertex 5.471693 7.531139 7.951000
    endloop
  endfacet
  facet normal 0.126218 0.388458 0.912781
    outer loop
      vertex 3.863998 8.678682 7.866000
      vertex 1.975161 9.292402 7.866000
      vertex 3.786311 8.504195 7.951000
    endloop
  endfacet
  facet normal 0.126218 0.388458 0.912781
    outer loop
      vertex 1.975161 9.292402 7.866000
      vertex 1.935450 9.105576 7.951000
      vertex 3.786311 8.504195 7.951000
    endloop
  endfacet
  facet normal 0.042695 0.406212 0.912781
    outer loop
      vertex 1.975161 9.292402 7.866000
      vertex 0.000000 9.500000 7.866000
      vertex 1.935450 9.105576 7.951000
    endloop
  endfacet
  facet normal 0.042695 0.406211 0.912781
    outer loop
      vertex 0.000000 9.500000 7.866000
      vertex 0.000000 9.309000 7.951000
      vertex 1.935450 9.105576 7.951000
    endloop
  endfacet
endsolid OpenSCAD_Model
